Sommarrea - Upp till 60 % rabatt
Alla 5s utgivelser på Klaus Schneider
Kategorier
Annan
Kundservice
SEK
![Cover for Klaus Schneider · Verification of Reactive Systems - Texts in Theoretical Computer Science: an Eatcs Series (Pocketbok) [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-pocketbok&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 (Pocketbok) [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-pocketbok&class=scaled&v=1443168114)
