Verification, Model Checking, and Abstract Interpretation : 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings
![Verification, Model Checking, and Abstract Interpretation : 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings](http://hive.dmmserver.com/media/356/97835403/9783540363842.jpg)
Verification, Model Checking, and Abstract Interpretation : 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings
Barcode: 09783540363842
Brand: Springer Berlin Heidelberg
There are no offers for this product at this time.