Agostino Cortesiのリリース

iMusicに在庫あり在庫なし商品を表示

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