Join our mailing list
Get exclusive deals and learn about new products!
Skip to product information
Computer Aided Verification 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
Sale price
$98.99
Regular price
$109.99
Reliable shipping
Flexible returns
Lecture Notes in Computer Science
Computer Aided Verification
16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
Rajeev Alur | Doron A. Peled
Computers / Computer Science
| Publication Date: | 29 June 2004 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| ISBN-13: | 9783540223429 |
| Format: | Paperback / softback |
| Page Count: | 536 |