Take a photo of a barcode or cover
Read With Others
Book Information
381 pages • paperback • 13 editions
ISBN/UID: 9783540938996
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 01 Feb 2009
Description
This volume contains the proceedings of the 10th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2009), held in Savannah, Georgia, USA, January 18-20, 2009. VMCAI 2009 was the 10th in a series of meeting...
Community Reviews
Content Warnings
381 pages • paperback
ISBN/UID: 9783540938996
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 01 Feb 2009
Description
This volume contains the proceedings of the 10th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2009), held in Savannah, Georgia, USA, January 18-20, 2009. VMCAI 2009 was the 10th in a series of meeting...
Community Reviews
Content Warnings