The Spin Model Checker
by Holzmann, Gerard J
Available Copies
The Spin Model Checker: Primer and Reference Manual
by Holzmann, Gerard J
- Condition
- New
- Published
- 2003-09-01
- Binding
- Hardcover
- ISBN
- 9780321228628
- Quantity Available
- 1
- Seller
-
San Diego, California, USA
- Item Price
-
£115.91
Show Details
Description:
Addison-Wesley Professional, 2003-09-01. Hardcover. New. New. In shrink wrap. Looks like an interesting title! Item Price
£115.91
The Spin Model Checker: Primer and Reference Manual
by Holzmann, Gerard J.
- Condition
- Used - Good
- Binding
- Hardcover
- ISBN
- 9780321228628
- Quantity Available
- 1
- Seller
-
Newport Coast, California, USA
- Item Price
-
£73.72
Show Details
Description:
hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. Item Price
£73.72