All 2 Holger Hermanns releases on Paperback Book
Categories
Other
Support
NZD
In stock at iMusic
Show unavailable items
![Cover for Holger Hermanns · Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceed (Paperback Book) [2006 edition] (2006)](https://imusic.b-cdn.net/images/item/original/561/9783540330561.jpg?holger-hermanns-2006-tools-and-algorithms-for-the-construction-and-analysis-of-systems-12th-international-conference-tacas-2006-held-as-part-of-the-joint-european-conferences-on-theory-and-practice-of-software-etaps-2006-vienna-austria-march-25-april-2-200&class=scaled&v=1437504357)
![Cover for Holger Hermanns · Interactive Markov Chains: The Quest for Quantified Quality - Lecture Notes in Computer Science (Paperback Book) [2002 edition] (2002)](https://imusic.b-cdn.net/images/item/original/615/9783540442615.jpg?holger-hermanns-2002-interactive-markov-chains-the-quest-for-quantified-quality-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1421517193)