Freunden von diesem Artikel berichten:
Principles of the Spin Model Checker Mordechai Ben-Ari 2008 edition
Preis
SFr. 64,49
exkl. MwSt.
Bestellware
Lieferdatum: ca. 6. - 14. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen
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
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 8. Januar 2008 |
| ISBN13 | 9781846287695 |
| Verlag | Springer London Ltd |
| Seitenanzahl | 220 |
| Maße | 141 × 222 × 24 mm · 535 g |
| Sprache | Englisch |
Weitere Titel von Mordechai Ben-Ari
Alle anzeigen![Cover for Mordechai Ben-Ari · Mathematische Uberraschungen (Taschenbuch) [2025 edition] (2025)](https://imusic.b-cdn.net/images/item/original/402/9783031760402.jpg?mordechai-ben-ari-2025-mathematische-uberraschungen-taschenbuch&class=scaled&v=1760723185)
![Cover for Mordechai Ben-Ari · Mathematical Surprises (Taschenbuch) [2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/651/9783031135651.jpg?mordechai-ben-ari-2022-mathematical-surprises-taschenbuch&class=scaled&v=1694334251)
![Cover for Mordechai Ben-Ari · Elements of Robotics (Taschenbuch) [2018 edition] (2017)](https://imusic.b-cdn.net/images/item/original/324/9783319625324.jpg?mordechai-ben-ari-2017-elements-of-robotics-taschenbuch&class=scaled&v=1509633713)
![Cover for Mordechai Ben-Ari · Mathematical Logic for Computer Science (Taschenbuch) [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-taschenbuch&class=scaled&v=1409516132)
![Cover for Mordechai Ben-Ari · Ada for Software Engineers (Taschenbuch) [2nd ed. 2009 edition] (2009)](https://imusic.b-cdn.net/images/item/original/136/9781848823136.jpg?mordechai-ben-ari-2009-ada-for-software-engineers-taschenbuch&class=scaled&v=1409516136)
Alle Titel von Mordechai Ben-Ari ansehen ( u. a. Taschenbuch und Gebundenes Buch )