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

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

(No ratings yet)

Key item features

  • 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
Current price is $60.29
Price when purchased online
  • Free 30-day returns

How do you want your item?

How do you want your item?
Columbus, 43215
Arrives between May 6 - May 8
|
Shipping fee $7.98
Sold and shipped by Best Prices & Service
4.359183673469388 stars out of 5, based on 245 seller reviews(4.4)
Report an issue with this seller
Free 30-day returns - in store or online

About this item

Product details

Specifications

Warranty

Customer ratings & reviews

0 ratings|0 reviews
This item does not have any reviews yet