Springer
Computer Aided Verification: 3rd International Workshop, Cav '91, Aalborg, Denmark, July 1-4, 1991. Proceedings
Product Code:
9783540551799
ISBN13:
9783540551799
Condition:
New
$61.47
Computer Aided Verification: 3rd International Workshop, Cav '91, Aalborg, Denmark, July 1-4, 1991. Proceedings
$61.47
This volume contains the proceedings of a workshop on computer aided verification. Topics include verification and validation tools for hardware and software, verification methods, and verification theories and their applicability.
| Author: Kim G. Larsen |
| Publisher: Springer |
| Publication Date: Apr 22, 1992 |
| Number of Pages: 493 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3540551794 |
| ISBN-13: 9783540551799 |
Related Products
