We a good story
Quick delivery in the UK

Verification, Model Checking, and Abstract Interpretation

- 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

About Verification, Model Checking, and Abstract Interpretation

This volume contains the proceedings of the 11th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2010), held in Madrid, Spain, January 17-19, 2010.

Show more
  • Language:
  • English
  • ISBN:
  • 9783642113185
  • Binding:
  • Paperback
  • Pages:
  • 397
  • Published:
  • January 8, 2010
  • Dimensions:
  • 155x235x23 mm.
  • Weight:
  • 623 g.
Delivery: 2-4 weeks
Expected delivery: November 1, 2024

Description of Verification, Model Checking, and Abstract Interpretation

This volume contains the proceedings of the 11th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2010), held in Madrid, Spain, January 17-19, 2010.

User ratings of Verification, Model Checking, and Abstract Interpretation



Find similar books
The book Verification, Model Checking, and Abstract Interpretation can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.