by Gerard Holzmann
Paperback
ISBN: 978-0-321-77371-5
ISBN-10: 0-321-77371-3
Addison-Wesley Professional · 2003
|
|
by Gerard HolzmannPaperback
ISBN: 978-0-321-77371-5 ISBN-10: 0-321-77371-3 Addison-Wesley Professional · 2003 |
| See also (possibly by other authors): | ||
| 2003 | Hardcover | The SPIN Model Checker: Primer and Reference Manual |