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
![Cover for Mordechai Ben-Ari · Mathematische Uberraschungen (Pocketbok) [2025 edition] (2025)](https://imusic.b-cdn.net/images/item/original/402/9783031760402.jpg?mordechai-ben-ari-2025-mathematische-uberraschungen-pocketbok&class=scaled&v=1760723185)
![Cover for Mordechai Ben-Ari · Mathematical Surprises (Pocketbok) [2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/651/9783031135651.jpg?mordechai-ben-ari-2022-mathematical-surprises-pocketbok&class=scaled&v=1694334251)
![Cover for Mordechai Ben-Ari · Elements of Robotics (Pocketbok) [2018 edition] (2017)](https://imusic.b-cdn.net/images/item/original/324/9783319625324.jpg?mordechai-ben-ari-2017-elements-of-robotics-pocketbok&class=scaled&v=1509633713)
![Cover for Mordechai Ben-Ari · Mathematical Logic for Computer Science (Pocketbok) [3rd ed. 2012 edition] (2012)](https://imusic.b-cdn.net/images/item/original/280/9781447141280.jpg?mordechai-ben-ari-2012-mathematical-logic-for-computer-science-pocketbok&class=scaled&v=1409516132)
![Cover for Mordechai Ben-Ari · Ada for Software Engineers (Pocketbok) [2nd ed. 2009 edition] (2009)](https://imusic.b-cdn.net/images/item/original/136/9781848823136.jpg?mordechai-ben-ari-2009-ada-for-software-engineers-pocketbok&class=scaled&v=1409516136)
Se alt med Mordechai Ben-Ari ( f.eks. Pocketbok og Innbunden bok )