Compartir
Modal and Temporal Properties of Processes (Texts in Computer Science) (en Inglés)
Colin Stirling (Autor)
·
Springer New York
· Tapa Blanda
Modal and Temporal Properties of Processes (Texts in Computer Science) (en Inglés) - Colin Stirling
$ 88.760
$ 147.930
Ahorras: $ 59.170
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
✓ Producto agregado correctamente a la lista de deseos.
Ir a Mis Listas
Origen: Reino Unido
(Costos de importación incluídos en el precio)
Se enviará desde nuestra bodega entre el
Viernes 21 de Junio y el
Lunes 01 de Julio.
Lo recibirás en cualquier lugar de Chile entre 1 y 3 días hábiles luego del envío.
Reseña del libro "Modal and Temporal Properties of Processes (Texts in Computer Science) (en Inglés)"
In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Inglés.
La encuadernación de esta edición es Tapa Blanda.
✓ Producto agregado correctamente al carro, Ir a Pagar.