Skip to main content

Verification, Model Checking, and Abstract Interpretation: 4th International Conference, Vmcai 2003, New York, NY, USA, January 9-11, 2003, Proceedings

by , ,

Write The First Customer Review
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, Vmcai 2003, New York, Ny, Usa, January 9-11, 2003, Proceedings - Zuck, Lenore D (Editor), and Attie, Paul D (Editor), and Cortesi, Agostino (Editor)
Filter Results
Shipping
Item Condition
Seller Rating
Other Options
Change Currency
Cash for Textbooks

Textbook Buyback

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 researchers from three communities--Veri?cation, Model Checking, and Abstract Interpretation--that will facilitate interaction, cross-fertilization, and the advance of hybrid methods that combine the three areas. With the g- wingneedforformaltoolstoreasonaboutcomplex, in?nite-state, ...

loading
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, Vmcai 2003, New York, Ny, Usa, January 9-11, 2003, Proceedings 2002, Springer, Berlin, Germany

ISBN-13: 9783540003489

2003 edition

Trade paperback

Select