Temporal Logics
€28.90
Available for sending in 4/5 days
Product Information
| ISBN | 9781009170109 |
|---|---|
| Publisher | Cambridge University Press |
| Price (excl. tax) | €27.26 |
| Tax | €1.64 |
| Price (incl. tax) | €28.90 |
| Availability | 2 units in external warehouse |
Product Description
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.