All 5 Klaus Schneider releases on 12", Paperback Boo... Book
Categories
Other
Support
ISK
In stock at iMusic
Show unavailable items
![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)](https://imusic.b-cdn.net/images/item/original/553/9783642055553.jpg?klaus-schneider-2010-verification-of-reactive-systems-texts-in-theoretical-computer-science-an-eatcs-series-paperback-book&class=scaled&v=1608763144)
![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)](https://imusic.b-cdn.net/images/item/original/907/9783540745907.jpg?klaus-schneider-2007-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&class=scaled&v=1443168114)
