Take a photo of a barcode or cover
Read With Others
Book Information
328 pages • paperback • 13 editions
ISBN/UID: 9783540003489
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 13 Dec 2002
Description
This volume contains the proceedings of the 4th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2003), held in New York city, January 9-11, 2003. The purpose of VMCAI was to provide a forum for researche...
Community Reviews
Content Warnings
328 pages • paperback
ISBN/UID: 9783540003489
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 13 Dec 2002
Description
This volume contains the proceedings of the 4th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2003), held in New York city, January 9-11, 2003. The purpose of VMCAI was to provide a forum for researche...
Community Reviews
Content Warnings