Fortell venner om denne varen:
Verification of Reactive Systems - Texts in Theoretical Computer Science: an Eatcs Series Softcover Reprint of Hardcover 1st Ed. 2004 edition
Klaus Schneider
Pris
$ 56,49
Bestillingsvarer
Forventes levert 23. - 31. jul
Legg til iMusic ønskeliste
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 | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 8. desember 2010 |
| ISBN13 | 9783642055553 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 620 |
| Mål | 156 × 234 × 31 mm · 857 g |
| Språk | Tysk |
Vis alle
Mer 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 (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)
Se alt med Klaus Schneider ( f.eks. Pocketbok , 12" og Innbunden bok )