Vinkkaa tuotetta kavereillesi:
Verification of Reactive Systems - Texts in Theoretical Computer Science: an Eatcs Series Softcover Reprint of Hardcover 1st Ed. 2004 edition
Klaus Schneider
Hinta
zł 223,90
Tilattu etävarastosta
Arvioitu toimitus ke - to 23. - 31. heinä
Lisää iMusic-toivelistallesi
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
| Media | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
| Julkaisupäivämäärä | keskiviikko 8. joulukuuta 2010 |
| ISBN13 | 9783642055553 |
| Tuottaja | Springer-Verlag Berlin and Heidelberg Gm |
| Sivujen määrä | 620 |
| Mitta | 156 × 234 × 31 mm · 857 g |
| Kieli | German |
Näytä kaikki
Lisää tuotteita 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)](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)
Katso kaikki joka sisältää Klaus Schneider ( Esim. Paperback Book , Hardcover Book Ja 12" )