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
Page block firm and clean, binding unblemished, boards straight, without markings of any kind. Fine, like new condition. Without any discs, access codes or extra items. Supporting Bay Area Friends of the Library since 2010. Well packaged and promptly shipped.
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
Since 2010, the Book Forest has raised over 3 million dollars for participating public libraries.
Seller's business information
CA, U.S.A.
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.