Agostino Cortesi VMCAI 2002 Book | sku-693286125 All Books

Agostino Cortesi All Books listing sku-693286125 is a paperback in the Lecture Notes in Computer Science series: Verification, Model Checking, and Abstract Interpretation, from the Third International Workshop, VMCAI 2002, in Venice, Italy. It is Book 2294. The listed author is Springer. ISBN 9783540436317; publication date 2002-04-24; 331 pages.You may also like Computer Information Systems and Industrial Management: 11th Ifip Tc 8 International Conference, Cisim 2012, Venice, Ita, (Paperback).