Releases von Agostino Cortesi

Cover for Agostino Cortesi · Computer Information Systems and Industrial Management: 11th Ifip Tc 8 International Conference, Cisim 2012, Venice, Italy, September 26-28, 2012, Proceedings - Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet / Web (Taschenbuch) (2012)
Taschenbuch
Computer Information Systems and...
Agostino Cortesi
Cover for Agostino Cortesi · Verification, Model Checking and Abstract Interpretation: Third International Workshop, Vmcai 2002, Venice, Italy, January 21-22, 2002, Revised Papers - Lecture Notes in Computer Science (Taschenbuch) (2002)
Taschenbuch
Verification, Model Checking and...
Agostino Cortesi