Tell your friends about this item:
SPIN Model Checker, The: Primer and Reference Manual
Gerard Holzmann
Price
$ 64.56
Ordered from remote warehouse
Expected delivery Jul 24 - Aug 1
Our customers say:
Add to your iMusic wish list
SPIN Model Checker, The: Primer and Reference Manual
Gerard Holzmann
608 pages
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | June 13, 2011 |
| ISBN13 | 9780321773715 |
| Publishers | Pearson Education (US) |
| Pages | 608 |
| Dimensions | 180 × 232 × 31 mm · 1.04 kg |
| Language | English |
See all of Gerard Holzmann ( e.g. Paperback Book )