Temporal logics in computer science: finite-state systems
Auteur :
Demri, Stéphane / Goranko, Valentin / Lange, Martin
Éditeur :
Cambridge University Press
ISBN :
9781107028364
Date de publication :
13 oct. 2016
Dimensions :
25,4 x 18,0 x 4,3 cm
Poids :
1450 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.