Lecture Notes in Computer Science Computer Aided Verification: 3rd International Workshop, Cav '91, Aalborg, Denmark, July 1-4, 1991. Proceedings, Book 575, (Paperback)

Name: Lecture Notes in Computer Science Computer Aided Verification: 3rd International Workshop, Cav '91, Aalborg, Denmark, July 1-4, 1991. Proceedings, Book 575, (Paperback)
Brand: Kim G Larsen
SKU: prod_e8de3fb338f2c6cb0366d539
Price: 118.00 USD
Availability: InStock

Lecture Notes in Computer Science Computer Aided Verification: 3rd International Workshop, Cav '91, Aalborg, Denmark, July 1-4, 1991. Proceedings, Book 575, (Paperback) Author: Springer ISBN: 9783540551799 Format: Paperback Publication Date: 1992-04-22 Page Count: 493

Shipping & Returns

Price unavailable

Lecture Notes in Computer Science Computer Aided Verification: 3rd International Workshop, Cav '91, Aalborg, Denmark, July 1-4, 1991. Proceedings, Book 575, (Paperback)—

$118.00

Price unavailable

Lecture Notes in Computer Science Computer Aided Verification: 3rd International Workshop, Cav '91, Aalborg, Denmark, July 1-4, 1991. Proceedings, Book 575, (Paperback)—

$118.00