Pocketbok
Vis utilgjengelige utgivelser

Releases med Agostino Cortesi

24. april 2002 – 10. august 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 (Pocketbok) (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 (Pocketbok) (2002)

Verification, Model Checking and... (2002)

Agostino Cortesi