Fortæl dine venner om denne vare:
Verification of Reactive Systems - Texts in Theoretical Computer Science: an Eatcs Series Softcover Reprint of Hardcover 1st Ed. 2004 edition
Klaus Schneider
Pris
zł 254,90
Bestilles fra fjernlager
Forventes klar til forsendelse 22. - 28. jul.
Tilføj til din iMusic ønskeseddel
Eller
Verification of Reactive Systems - Texts in Theoretical Computer Science: an Eatcs Series Softcover Reprint of Hardcover 1st Ed. 2004 edition
Klaus Schneider
620 pages, 19 black & white illustrations, biography
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 8. december 2010 |
| ISBN13 | 9783642055553 |
| Forlag | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sider | 620 |
| Mål | 156 × 234 × 31 mm · 857 g |
| Sprog | Tysk |
Vis alle
Mere med 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 Bog) [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-bog&class=scaled&v=1443168114)
Se alt med Klaus Schneider ( f.eks. Paperback Bog , Hardcover bog og 12" )