Fortæl dine venner om denne vare:
Principles of the Spin Model Checker 2008 edition
Mordechai Ben-Ari
Pris
DKK 658
Bestilles fra fjernlager
Forventes klar til forsendelse 20. - 27. nov.
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
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
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 8. januar 2008 |
| ISBN13 | 9781846287695 |
| Forlag | Springer London Ltd |
| Antal sider | 220 |
| Mål | 141 × 222 × 24 mm · 535 g |
| Sprog | Engelsk |
Vis alle
Mere med Mordechai Ben-Ari
![Cover for Mordechai Ben-Ari · Mathematische Uberraschungen (Paperback Bog) [2025 edition] (2025)](https://imusic.b-cdn.net/images/item/original/402/9783031760402.jpg?mordechai-ben-ari-2025-mathematische-uberraschungen-paperback-bog&class=scaled&v=1760723185)
![Cover for Mordechai Ben-Ari · Mathematical Surprises (Paperback Bog) [2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/651/9783031135651.jpg?mordechai-ben-ari-2022-mathematical-surprises-paperback-bog&class=scaled&v=1694334251)
![Cover for Mordechai Ben-Ari · Elements of Robotics (Paperback Bog) [2018 edition] (2017)](https://imusic.b-cdn.net/images/item/original/324/9783319625324.jpg?mordechai-ben-ari-2017-elements-of-robotics-paperback-bog&class=scaled&v=1509633713)
![Cover for Mordechai Ben-Ari · Mathematical Logic for Computer Science (Paperback Bog) [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-paperback-bog&class=scaled&v=1409516132)
![Cover for Mordechai Ben-Ari · Ada for Software Engineers (Paperback Bog) [2nd ed. 2009 edition] (2009)](https://imusic.b-cdn.net/images/item/original/136/9781848823136.jpg?mordechai-ben-ari-2009-ada-for-software-engineers-paperback-bog&class=scaled&v=1409516136)
Se alt med Mordechai Ben-Ari ( f.eks. Paperback Bog og Hardcover bog )