Take a photo of a barcode or cover
Read With Others
Book Information
325 pages • paperback • 13 editions
ISBN/UID: 9783540781622
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 26 Feb 2008
Description
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 VMCAI is to provide a forum for researchers fr...
Community Reviews
Content Warnings
325 pages • paperback
ISBN/UID: 9783540781622
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 26 Feb 2008
Description
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 VMCAI is to provide a forum for researchers fr...
Community Reviews
Content Warnings