Vetenskap & teknik
Temporal Logics in Computer Science
Stephane Demri • Valentin Goranko • Lange,
Inbunden
2109:-
Uppskattad leveranstid 7-12 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. It is a solid professional reference for researchers in the field and a graduate textbook that can be used for self-study as well as for teaching courses.
- Format: Inbunden
- ISBN: 9781107028364
- Språk: Engelska
- Antal sidor: 752
- Utgivningsdatum: 2016-10-13
- Förlag: Cambridge University Press