Details
- Autor(en) / Beteiligte
- Titel
- Principles of the Spin Model Checker
- Auflage
- 1
- Ort / Verlag
- London: Springer Nature
- Erscheinungsjahr
- 2008
- Link zum Volltext
- Quelle
- Alma/SFX Local Collection
- Beschreibungen/Notizen
- This is the first introductory textbook on Spin, 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.
- Sprache
- Englisch
- Identifikatoren
- ISBN: 9781846287701, 1846287707, 1846287693, 9781846287695DOI: 10.1007/978-1-84628-770-1Titel-ID: cdi_askewsholts_vlebooks_9781846287701
- Format
- –
- Schlagworte
- Computer programming, programs, data, Computer Science, Computer software, Logics and Meanings of Programs, Operating Systems, Programming Languages, Compilers, Interpreters, Programming Techniques, Software Engineering/Programming and Operating Systems, SPIN (Computer file), Theory of Computation, Verification