Kaikki 1s julkaisut Reiner H Hnle
Luokat
Muu
Asiakaspalvelu
EUR
Varastossa iMusicilla
Näytä loppuunmyydyt julkaisut
![Cover for Reiner H Hnle · Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers - Communications in Computer (Paperback Book) [2012 edition] (2012)](https://imusic.b-cdn.net/images/item/original/801/9783642347801.jpg?reiner-h-hnle-2012-leveraging-applications-of-formal-methods-verification-and-validation-international-workshops-sars-2011-and-mlsc-2011-held-under-the-auspices-of-isola-2011-in-vienna-austria-october-17-18-2011-revised-selected-papers-communications-in-co&class=scaled&v=1547338723)