Temporal Logics
28,90 €
Envío en 4/5 dias
Información del producto
| ISBN | 9781009170109 |
|---|---|
| Editorial | Cambridge University Press |
| Precio (sin IVA) | 27,26 € |
| Impuestos | 1,64 € |
| Precio (IVA incluido) | 28,90 € |
| Disponibilidad | 1 Unidad En almacén externo |
Descripción del producto
Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. This Element aims at providing both a panoramic view and closer looks at temporal logics.