Paperback Book
Mostrar itens não disponíveis

Lançamentos por Agostino Cortesi

24 de abril de 2002 – 10 de agosto de 2012

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 (Paperback Book) (2012)

Computer Information Systems and... (2012)

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 (Paperback Book) (2002)

Verification, Model Checking and... (2002)

Agostino Cortesi