Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
Sale price
$49.49
Regular price $54.99
Skip to product information
Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
Sale price
$49.49
Regular price $54.99
Reliable shipping
Flexible returns
Lecture Notes in Computer Science Theoretical Computer Science and General Issues
Verification, Model Checking, and Abstract Interpretation
9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
Francesco Logozzo | Doron A. Peled | Leonore D. Zuck
Computers / Software Development & Engineering / General
| Publication Date: | 26 February 2008 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| ISBN-13: | 9783540781622 |
| Format: | Paperback / softback |
| Page Count: | 325 |