Paperback Book
显示无货商品

Holger Hermanns的作品

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)

Tools and Algorithms for the Con... (2006)

Holger Hermanns

Cover for Holger Hermanns · Interactive Markov Chains: The Quest for Quantified Quality - Lecture Notes in Computer Science (Paperback Book) [2002 edition] (2002)

Interactive Markov Chains: The Q... (2002)

Holger Hermanns