Temporal Logics in Computer Science : Finite-State Systems
9781107028364 Cambridge Tracts in Theoretical Computer Science Innbundet
13.10.2016
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
Andre bøker av eller med Valentin Goranko
Logic and Discrete Mathematics : A Concise Introduction, Solutions Manual
9781118762677 Heftet
22.05.2015
Engelsk
I salg