Verification, Model Checking, and Abstract Interpretation: 9th International Conference, Vmcai 2008, San Francisco, Usa, January 7-9, 2008, Proceeding

By Francesco Logozzo

th This volumecontains the proceedingsof the 9 internationalconference onV- i'cation, Model Checking, and Abstract Interpretation (VMCAI 2008), held in San Francisco, January 7-9, 2008. The purpose of... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540781625
• ISBN13: 9783540781622
• Release Date: February 2008
• Publisher: Springer
• Length: 325 Pages
• Weight: 1.06 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"