Ben-Ari | Principles of the Spin Model Checker | E-Book | www2.sack.de
E-Book

E-Book, Englisch, 216 Seiten

Ben-Ari Principles of the Spin Model Checker


1. Auflage 2008
ISBN: 978-1-84628-770-1
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, 216 Seiten

ISBN: 978-1-84628-770-1
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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. 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. The book introduces Spin-based software that the author has developed for teaching. Complete programs demonstrate each construct and concept and these programs are available on a companion website.

Ben-Ari Principles of the Spin Model Checker jetzt bestellen!

Autoren/Hrsg.

Ben-Ari, Mordechai
Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.