Vinkkaa tuotetta kavereillesi:
Computer-aided Reasoning - Advances in Formal Methods Softcover Reprint of the Original 1st Ed. 2000 edition
Matt Kaufmann
Hinta
€ 198,99
Tilattu etävarastosta
Arvioitu toimitus ke - to 17. - 25. syys
Lisää iMusic-toivelistallesi
Eller
Computer-aided Reasoning - Advances in Formal Methods Softcover Reprint of the Original 1st Ed. 2000 edition
Matt Kaufmann
352 pages, biography
| Media | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
| Julkaisupäivämäärä | keskiviikko 8. joulukuuta 2010 |
| ISBN13 | 9781441949813 |
| Tuottaja | Springer-Verlag New York Inc. |
| Sivujen määrä | 352 |
| Mitta | 156 × 234 × 18 mm · 498 g |
| Kieli | English |
| Toimittaja | Kaufmann, Matt |
| Toimittaja | Manolios, Panagiotis |
| Toimittaja | Moore, J. Strother |
Näytä kaikki
Lisää tuotteita Matt Kaufmann
![Cover for Matt Kaufmann · Computer-Aided Reasoning: ACL2 Case Studies - Advances in Formal Methods (Hardcover Book) [2000 edition] (2000)](https://imusic.b-cdn.net/images/item/original/495/9780792378495.jpg?matt-kaufmann-2000-computer-aided-reasoning-acl2-case-studies-advances-in-formal-methods-hardcover-book&class=scaled&v=1556228839)
Katso kaikki joka sisältää Matt Kaufmann ( Esim. Paperback Book Ja Hardcover Book )