
Vinkkaa tuotetta kavereillesi:
Principles of the Spin Model Checker 2008 edition
Mordechai Ben-Ari
Hinta
Ft 31.508
Tilattu etävarastosta
Arvioitu toimitus ti - to 1. - 10. heinä
Lisää iMusic-toivelistallesi
Eller
Principles of the Spin Model Checker 2008 edition
Mordechai Ben-Ari
Principles of Spin is an introductory book, the only requirement is a background in programming. The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching important concepts of computer science such as verification, concurrency and nondeterminism.
220 pages, 1, black & white illustrations
Media | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
Julkaisupäivämäärä | tiistai 8. tammikuuta 2008 |
ISBN13 | 9781846287695 |
Tuottaja | Springer London Ltd |
Sivujen määrä | 220 |
Mitta | 141 × 222 × 24 mm · 535 g |
Kieli | English |
Näytä kaikki
Lisää tuotteita Mordechai Ben-Ari
Katso kaikki joka sisältää Mordechai Ben-Ari ( Esim. Paperback Book Ja Hardcover Book )