Compartir
Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2 (en Inglés)
Dov. M. Gabbay; Mark A. Reynolds; Marcelo Finger (Autor)
·
Oxford University Press
· Tapa Dura
Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2 (en Inglés) - Dov. M. Gabbay; Mark A. Reynolds; Marcelo Finger
S/ 1.706,81
S/ 3.413,62
Ahorras: S/ 1.706,81
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: Estados Unidos
(Costos de importación incluídos en el precio)
Se enviará desde nuestra bodega entre el
Martes 16 de Abril y el
Martes 30 de Abril.
Lo recibirás en cualquier lugar de Perú entre 2 y 5 días hábiles luego del envío.
Reseña del libro "Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2 (en Inglés)"
This is the second volume in a series of well-respected works in temporal science and is by the same authors as the first. Volume one dealt primarily with basic concepts and methods, volume two discuses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations from volume one, covering automata, branching time and labelled deduction. The rest of the book is devoted to discussions of temporal databases, temporal execution and programming, actions and planning. With its inclusion of cutting-edge results and unifying methodologies, this book, and its companion are an indispensable reference for both the pure logician and the theoretical computer scientist.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
Respuesta:
Todos los libros de nuestro catálogo son Originales.
Respuesta:
El libro está escrito en Inglés.
Respuesta:
La encuadernación de esta edición es Tapa Dura.
✓ Producto agregado correctamente al carro, Ir a Pagar.