Computer Aided Verification: 3rd International Workshop, Cav '91, Aalborg, Denmark, July 1-4, 1991. Proceedings

By Kim G. Larsen

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.

• Format: Paperback
• Language: English
• ISBN: 3540551794
• ISBN13: 9783540551799
• Release Date: April 1992
• Publisher: Springer
• Length: 493 Pages
• Weight: 1.55 lbs.
• Dimensions: 1.0" x 6.1" x 9.2"