Principles of the Spin Model Checker - Mordechai Ben-Ari - Kirjat - Springer London Ltd - 9781846287695 - tiistai 8. tammikuuta 2008
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

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