The Spin Model Checker
de Holzmann, Gerard J
Ejemplares disponibles
The Spin Model Checker: Primer and Reference Manual
de Holzmann, Gerard J
- Estado
- New
- Published
- 2003-09-01
- Encuadernación
- Hardcover
- ISBN
- 9780321228628
- Cantidad disponible
- 1
- Librería
-
San Diego, California, USA
- Precio
-
EUR 135.58
Mostrar detalles
Descripción:
Addison-Wesley Professional, 2003-09-01. Hardcover. New. New. In shrink wrap. Looks like an interesting title! Precio
EUR 135.58
The Spin Model Checker: Primer and Reference Manual
de Holzmann, Gerard J.
- Estado
- Usado - Good
- Encuadernación
- Hardcover
- ISBN
- 9780321228628
- Cantidad disponible
- 1
- Librería
-
Newport Coast, California, USA
- Precio
-
EUR 86.23
Mostrar detalles
Descripción:
hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. Precio
EUR 86.23