by Gerard J. Holzmann
Hardcover
ISBN: 978-0-321-22862-8
ISBN-10: 0-321-22862-6
Addison-Wesley Professional · 2003
|
|
by Gerard J. HolzmannHardcover
ISBN: 978-0-321-22862-8 ISBN-10: 0-321-22862-6 Addison-Wesley Professional · 2003 |
| See also (possibly by other authors): | ||
| 2003 | Paperback | The SPIN Model Checker: Primer and Reference Manual (paperback) |