search for books and compare prices
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, Vmcai 2003, New York, Ny, Usa, January 2003 : Proceedings
By Agostino Cortesi; Lenore D. Zuck; Paul C. Attie; Supratik Mukhopadhyay; Vmcai 200
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Sort options: binding | publication date | edition
Paperback
Book cover for 9783540003489
 
from Springer Verlag (January 1, 2003)
9783540003489 | details & prices | 323 pages | 6.25 × 9.50 × 1.00 in. | 1.10 lbs | List price $109.00
About: This volume contains the proceedings of the 4th International Conference on Veri?