The Spin Model Checker: Primer and Reference Manual
Language: English
Published by Addison-Wesley Professional, 2003
- Hardcover
- Used
Condition: Used - Good
US$ 27.36
Quantity: 1 available
Add to basketItem description from seller
Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.
Seller Inventory # S_462939928
- Title
- The Spin Model Checker: Primer and Reference Manual
- Author
- Holzmann, Gerard J.
- Publisher
- Addison-Wesley Professional
- Publication year
- 2003
- Condition
- Good
- 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.
Shipping rates within U.S.A.
| Item | 4 to 14 business days | 2 to 6 business days |
|---|---|---|
| First item | US$ 3.75 | US$ 6.99 |
Payment methods
Store description
Half Price Books has been connecting readers to great books since 1972. Customer service is our top priority.
Specialty
AllSeller's business information
Half Price Books, Records, Magazines, Inc.
5803 E. Northwest Hwy.
Dallas, TX U.S.A. 75231