Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings: 1102 (Lecture Notes in Computer Science)

Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings: 1102 (Lecture Notes in Computer Science)

by Rajeev Alur (Author), Thomas Henzinger (Author)

$92.67

Save:$6.87 (7%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 492
Edition: 1996
Publisher: Springer
Published: 13 Jun 2008

ISBN 10: 3540614745
ISBN 13: 9783540614746