All 2 Francesco Logozzo releases on Paperback Book
Categories
Other
Support
CAD
In stock at iMusic
Show unavailable items
![Cover for Francesco Logozzo · Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)](https://imusic.b-cdn.net/images/item/original/552/9783642388552.jpg?francesco-logozzo-2013-static-analysis-20th-international-symposium-sas-2013-seattle-wa-usa-june-20-22-2012-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1575365248)
![Cover for Francesco Logozzo · Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2008 edition] (2008)](https://imusic.b-cdn.net/images/item/original/622/9783540781622.jpg?francesco-logozzo-2008-verification-model-checking-and-abstract-interpretation-9th-international-conference-vmcai-2008-san-francisco-usa-january-7-9-2008-proceedings-theoretical-computer-science-and-general-issues-paperback-book&class=scaled&v=1500488019)