phone 571 999 090
LIBRISTO 0
Free delivery for purchases over 1 299 Kč
PPL Parcel Shop 54 Kč Czech Post 74 Kč Balíkovna 49 Kč GLS point 54 Kč Zásilkovna 44 Kč GLS courier 74 Kč PPL courier 99 Kč
phone Contact phoneHow to shop

Principles of the Spin Model Checker

Language EnglishEnglish
Book Paperback
Book Principles of the Spin Model Checker Mordechai Ben-Ari
Libristo code: 04277385
Publishers Springer London Ltd, January 2008
Principles of Spin is an introductory book, the only requirement is a background in programming. Spi... Full description
? points 96 b
963 Kč včetně DPH
Low in stock at our supplier Shipping in 3-5 days

30-day return policy

You might also be interested in

TOP
Golden Son Pierce Brown / Paperback
common.buy 298 Kč
TOP
Black Swans: Stories Eve Babitz / Paperback
common.buy 333 Kč
TOP
In Order To Live Yeonmi Park / Paperback
common.buy 298 Kč
Craft Gin Making Rachel Hicks / Paperback
common.buy 427 Kč
Lalique Eric Knowles / Paperback
common.buy 426 Kč
Cravings Chrissy Teigen / Hardback
common.buy 601 Kč
Copywriting Secrets / Hardback
common.buy 619 Kč
The Everything Book of Horses and Ponies DK / Paperback
common.buy 275 Kč
COMING SOON
Little Loom Weaving Fiona Daly / Paperback
common.buy 423 Kč
Pre-Raphaelites Jason Rosenfeld / Paperback
common.buy 303 Kč
Power of the Dog Thomas Savage / Paperback
common.buy 359 Kč
Experience Martin Amis / Paperback
common.buy 379 Kč
La sexualidad según Foucault Maite Larrauri / Paperback
common.buy 496 Kč
Faith Next Door Paul David Numrich / Hardback
common.buy 1 547 Kč
Revista Latinoamericana de Opinión Pública n°1: Investigación Social Aplicada Maria Braun / Paperback
common.buy 595 Kč
Grantwriter's Internet Companion Susan Peterson / Paperback
common.buy 789 Kč

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 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: jSpin - an integrated development environment for Spin. SpinSpider - uses output from Spin to automatically construct state diagrams of concurrent programs. VN is a tool for visualizing nondeterminism.Complete programs will demonstrate each construct and concept and these programs will be available on a companion website.

About the book

Full name Principles of the Spin Model Checker
Author Mordechai Ben-Ari
Language English
Binding Book - Paperback
Date of issue 2008
Number of pages 220
EAN 9781846287695
ISBN 1846287693
Libristo code 04277385
Publishers Springer London Ltd
Weight 535
Dimensions 141 x 222 x 24

Categories

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account