Kaikki 3s julkaisut Klaus Havelund
Luokat
Muu
Asiakaspalvelu
EUR
Varastossa iMusicilla
Näytä loppuunmyydyt julkaisut
![Cover for Klaus Havelund · NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2015 edition] (2015)](https://imusic.b-cdn.net/images/item/original/232/9783319175232.jpg?klaus-havelund-2015-nasa-formal-methods-7th-international-symposium-nfm-2015-pasadena-ca-usa-april-27-29-2015-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1457393149)
![Cover for Klaus Havelund · Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2008 edition] (2008)](https://imusic.b-cdn.net/images/item/original/134/9783540851134.jpg?klaus-havelund-2008-model-checking-software-15th-international-spin-workshop-los-angeles-ca-usa-august-10-12-2008-proceedings-theoretical-computer-science-and-general-issues-paperback-book&class=scaled&v=1457393150)
![Cover for Klaus Havelund · Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2006 edition] (2006)](https://imusic.b-cdn.net/images/item/original/991/9783540496991.jpg?klaus-havelund-2006-formal-approaches-to-software-testing-and-runtime-verification-first-combined-international-workshops-fates-2006-and-rv-2006-seattle-wa-usa-august-15-16-2006-revised-selected-papers-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1457393150)