Temporal Logics in Computer Science : Finite-State Systems
Cambridge Tracts in Theoretical Computer Science Innbundet Engelsk
Midlertidig utsolgt
I salg
Leveringstid: 3-10 dager
Handlinger
Beskrivelse
Omtale
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.
Detaljer
-
Utgivelsesdato:
05.10.2023
-
ISBN:
9781009170109
-
Språk:
, Engelsk
-
Forlag:
Cambridge University Press -
Fagtema:
-
Serie:
Elements in Philosophy and Logic
-
Litteraturtype:
-
Sider:
112
-
Høyde:
15.2 cm
-
Bredde:
22.9 cm
