MayDay Sale → Spara upp till 60%
Alla 2s utgivelser på Francesco Logozzo
Kategorier
Annan
Kundservice
SEK
![Cover for Francesco Logozzo · Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings - Lecture Notes in Computer Science (Pocketbok) [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-pocketbok&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 (Pocketbok) [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-pocketbok&class=scaled&v=1500488019)