Computer Aided Verification 8th International Conference Cav 96 New Brunswick | Desertcart Australia
Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings (Lecture Notes in Computer Science, 1102) Paperback – January 1, 1996
Product ID: 60788282
Secure Transaction
Frequently Bought Together
Description
Full description not available
Common Questions
Trustpilot
TrustScore 4.5 | 7,300+ reviews
Abdullah B.
Great price for an authentic product. Fast international shipping too!
3 weeks ago
Yusuf A.
Fantastic experience overall. Will recommend to friends and family.
