Temporal Logics
€ 28,90
Envio em 4/5 dias
Informação do Produto
| ISBN | 9781009170109 |
|---|---|
| Editora | Cambridge University Press |
| Preço (iva excl.) | € 27,26 |
| Imposto | € 1,64 |
| Preço (iva inc.) | € 28,90 |
| Disponibilidade | 1 unidade em armazém externo |
Descrição do Produto
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.