Kaikki 1s julkaisut Antti Valmari
Luokat
Muu
Asiakaspalvelu
EUR
Varastossa iMusicilla
Näytä loppuunmyydyt julkaisut
![Cover for Antti Valmari · Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2006 edition] (2006)](https://imusic.b-cdn.net/images/item/original/025/9783540331025.jpg?antti-valmari-2006-model-checking-software-13th-international-spin-workshop-vienna-austria-march-30-april-1-2006-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1611429877)