Fortell venner om denne varen:
Principles of the Spin Model Checker Mordechai Ben-Ari 2008 edition
Pris
₺ 3.457
Bestillingsvarer
Forventes levert 19. des - 1. jan 2026
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller
Principles of the Spin Model Checker
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 | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 8. januar 2008 |
| ISBN13 | 9781846287695 |
| Utgivere | Springer London Ltd |
| Antall sider | 220 |
| Mål | 141 × 222 × 24 mm · 535 g |
| Språk | Engelsk |
Vis alle
Mer med Mordechai Ben-Ari
Se alt med Mordechai Ben-Ari ( f.eks. Pocketbok og Innbunden bok )