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
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
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