search for books and compare prices
Supratik Mukhopadhyay has written 1 work(s)
Search for other authors with the same name
displaying 1 to 1 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, Vmcai 2003, New York, Ny, Usa, January 2003 : Proceedings
cover image for 9783540003489
Product 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 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...read more
By Paul C. Attie (editor), Agostino Cortesi (editor), Supratik Mukhopadhyay (editor), Vmcai 200 (other contributor) and Lenore D. Zuck
See complete details on each edition (1 edition listed)

Paperback:

9783540003489 | Springer Verlag, January 1, 2003, cover price $109.00 | About this edition: This volume contains the proceedings of the 4th International Conference on Veri?

displaying 1 to 1 | at end