Skip to product information
Verification, Model Checking, and Abstract Interpretation
  • Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

$49.49 $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

You may also like