Releases by Klaus Schneider

All5
Hardcover Book1
Paperback Book4

In stock at iMusic Show unavailable items

Cover for Klaus Schneider · Weiber, Schicksale und Abenteuer (Paperback Book) (2017)

Weiber, Schicksale und Abenteuer (2017)

Klaus Schneider

Cover for Klaus Schneider · Stabile Schieflage (Paperback Book) (2013)

Stabile Schieflage (2013)

Klaus Schneider

Cover for Klaus Schneider · Verification of Reactive Systems - Texts in Theoretical Computer Science: an Eatcs Series (Paperback Book) [Softcover Reprint of Hardcover 1st Ed. 2004 edition] (2010)

Softcover Reprint of Hardcover 1st Ed. 2004 edition

Verification of Reactive Systems... (2010)

Klaus Schneider

Cover for Klaus Schneider · Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2007 edition] (2007)

Theorem Proving in Higher Order ... (2007)

Klaus Schneider

Cover for Klaus Schneider · Verification of Reactive Systems: Formal Methods and Algorithms - Texts in Theoretical Computer Science: an Eatcs Series (Hardcover Book) (2003)

Verification of Reactive Systems... (2003)

Klaus Schneider