MayDay Sale → Spara upp till 60%
Alla 2s utgivelser på Corina S Pasareanu
Kategorier
Annan
Kundservice
SEK
![Cover for Corina S Pasareanu · Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers - Lecture Notes in Computer Science (Pocketbok) [2013 edition] (2013)](https://imusic.b-cdn.net/images/item/original/609/9783642358609.jpg?corina-s-pasareanu-2013-formal-aspects-of-component-software-9th-international-symposium-facs-2012-mountain-view-ca-usa-september-11-13-2012-revised-selected-papers-lecture-notes-in-computer-science-pocketbok&class=scaled&v=1507360344)
![Cover for Corina S Pasareanu · Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings - Theoretical Computer Science and General Issues (Pocketbok) [2009 edition] (2009)](https://imusic.b-cdn.net/images/item/original/515/9783642026515.jpg?corina-s-pasareanu-2009-model-checking-software-16th-international-spin-workshop-grenoble-france-june-26-28-2009-proceedings-theoretical-computer-science-and-general-issues-pocketbok&class=scaled&v=1611796280)