Principles of the Spin Model Checker
Häftad, Engelska, 2008
919 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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.
Produktinformation
- Utgivningsdatum2008-01-08
- Mått152 x 229 x 24 mm
- Vikt535 g
- FormatHäftad
- SpråkEngelska
- Antal sidor220
- Upplaga2008
- FörlagSpringer London Ltd
- ISBN9781846287695