Skip to content

The SPIN Model Checker Primer and Reference Manual
Stock Photo: Cover May Be Different

The SPIN Model Checker Primer and Reference Manual Hardcover - 2003 - 1st Edition

by Gerard J. Holzmann


From the publisher

SPIN is a tool for improving software reliability. This comprehensive reference guide to SPIN covers the tool's specification language and theoretical foundation, and gives detailed advice on methods for tackling the most complex software verification problems.

First line

HASH(0x111755f0)

Details

  • Title The SPIN Model Checker Primer and Reference Manual
  • Author Gerard J. Holzmann
  • Binding Hardcover
  • Edition number 1st
  • Edition 1
  • Language ENG
  • Publisher Addison-Wesley Professional, Lebanon, Indiana, U.S.A.
  • Date September 4, 2003
  • ISBN 9780321228628
Back to Top

More Copies for Sale

The Spin Model Checker: Primer and Reference Manual
Stock Photo: Cover May Be Different

The Spin Model Checker: Primer and Reference Manual

by Holzmann, Gerard J

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9780321228628 / 0321228626
Quantity Available
1
Seller
San Diego, California, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$146.93
$5.45 shipping to USA

Show Details

Description:
Addison-Wesley Professional, 2003-09-01. Hardcover. New. New. In shrink wrap. Looks like an interesting title!
Item Price
$146.93
$5.45 shipping to USA