Principles of the Spin Model Checker

New
Paperback
2008
$64.46

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.

Synopsis

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.

$64.46

Quantity

10 in stock

More Information

Format: Paperback
Pages: 216
Publisher: Springer
Published: 08 Jan 2008
ISBN 10: 1846287693
ISBN 13: 9781846287695

Principles of the Spin Model Checker

New

$64.46

Synopsis

$64.46

More Information