Erhältlich:
Nicht auf Lager
Buch (Softcover): Fachbuch
Principles of the Spin Model Checker
Produkt bewerten
Erhältlich:
Nicht auf Lager
Zustellung: Fr, 23.01.2026
Versand: Kostenlos
CHF 97.–
Beschreibung
Principles of Spin is an introductory book, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students and programmers. Spin is easy to install and use. The Spin model chec...
Spezifikationen
Sprache
- Englisch
Autor
- Mordechai Ben-Ari
Erscheinungsjahr
- 2008
Erscheinungsland
- Grossbritannien
Format
- Buch (Softcover)
Anzahl Seiten
- 220