Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings: 2575 (Lecture Notes in Computer Science)
by Agostino Cortesi,Supratik Mukhopadhyay,Paul D. Attie,Lenore D. Zuck
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings: 2575 (Lecture Notes in Computer Science)
by Agostino Cortesi,Supratik Mukhopadhyay,Paul D. Attie,Lenore D. Zuck
ISBN 13: 9783540003489
Format: Paperback
(340 pages)
Publisher: Springer
Published: 13 Jun 2008
Save for later
New : $84.37
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
