Description:
Addison-Wesley Professional, 2003-09-01. Hardcover. New. New. In shrink wrap. Looks like an interesting title!
Stock Photo: Cover May Be Different
The SPIN Model Checker Primer and Reference Manual Hardcover - 2003 - 1st Edition
by Gerard J. Holzmann
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
More Copies for Sale
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
- Item Price
-
$146.93$5.45 shipping to USA
Show Details
Item Price
$146.93
$5.45
shipping to USA