1. Home
  2. Books
  3. Non-Fiction
  4. Computing & information technology
  5. Computer programming / software development

Free shipping on orders over $99
Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings

by Byron Cook and Andreas Podelski
Paperback
Publication Date: 03/01/2007
Be the first to write a review

Share This Book:

 
$196.95
Add to List

Click 'Notify Me' to get an email alert when this item becomes available

The book constitutes the refereed proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007. This event was co-located with the Symposium on Principles of Programming Languages (POPL 2007). The 21 revised full papers presented together with three invited lectures and three invited tutorials were carefully reviewed and selected from a total of 85 submissions.
ISBN:
9783540697350
9783540697350
Category:
Computer programming / software development
Format:
Paperback
Publication Date:
03-01-2007
Language:
English
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Country of origin:
Germany
Pages:
395
Dimensions (mm):
235x155x21mm
Weight:
0.63kg

Click 'Notify Me' to get an email alert when this item becomes available

You can find this item in:

Compilers Computer programming / software development Computer architecture & logic design Programming & scripting languages: general Computer science
Show more Show less

Reviews

Be the first to review Verification.