The Spin Model Checker: Primer and Reference Manual
Language: English
Published by Addison-Wesley Professional, 2003
- Hardcover
- Used
Seller: thebookforest.com, San Rafael, CA, U.S.A.thebookforest.com
AbeBooks seller since January 3, 2023
Condition: Used - As new
US$ 34.99
Quantity: 1 available
Add to basketItem description from seller
Seller Inventory # BAY_18_SH_040605
- Title
- The Spin Model Checker: Primer and Reference Manual
- Author
- Holzmann, Gerard J.
- Publisher
- Addison-Wesley Professional
- Publication year
- 2003
- Condition
- Like New
- Binding
- Hardcover
- Language
- English
- ISBN 10
- 0321228626
- ISBN 13
- 9780321228628
"Synopsis" may belong to another edition of this title.
About the Author
DR. GERARD J. HOLZMANN is the principal designer of the SPIN system. Formerly Directory of Computing Principles Research at Bell Laboratories in Murray Hill, N.J., he recently joined NASA's Jet Propulsion Laboratory in Pasadena, CA, to help set up a new Laboratory for Reliable Software. Holzmann's earlier books include Design and Validation of Computer Protocols (Prentice Hall), and The Early History of Data Networks (IEEE CS Press).
"About the title" may belong to another edition of this title.
thebookforest.com
San Rafael, CA, U.S.A.
AbeBooks seller since January 3, 2023
Shipping rates within U.S.A.
| Item | 5 to 14 business days | 3 to 6 business days |
|---|---|---|
| First item | US$ 4.99 | US$ 8.99 |
Payment methods
Store description
Shipping terms
Orders ship within 24 hours of receipt. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or over sized, we may contact you to let you know extra shipping is required.