BOOK: Temporal Logics in Computer Science
9 views
Skip to first unread message
Joao Marcos
Jan 11, 2017, 5:25:35 PM1/11/17
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Este livro recentemente publicado pode ser de interesse para alguns
colegas desta lista:
Temporal Logics in Computer Science
by S. Demri and V. Goranko and M. Lange
Cambridge University Press 2016, 752 Pages
ISBN: 9781107028364
* This comprehensive text provides a modern and technically precise
exposition of the fundamental theory and applications of temporal
logics in computer science.
* Part I presents the basics of discrete transition systems, including
constructions and behavioural equivalences. Part II examines the
most important temporal logics for transition systems. Part III studies
their expressiveness and complexity. Part IV describes the main
computational methods and decision procedures for model checking
and model building based on tableaux, automata and games.
* Further information can be found at
www.cambridge.org/core_title/gb/434611
JM
colegas desta lista:
Temporal Logics in Computer Science
by S. Demri and V. Goranko and M. Lange
Cambridge University Press 2016, 752 Pages
ISBN: 9781107028364
* This comprehensive text provides a modern and technically precise
exposition of the fundamental theory and applications of temporal
logics in computer science.
* Part I presents the basics of discrete transition systems, including
constructions and behavioural equivalences. Part II examines the
most important temporal logics for transition systems. Part III studies
their expressiveness and complexity. Part IV describes the main
computational methods and decision procedures for model checking
and model building based on tableaux, automata and games.
* Further information can be found at
www.cambridge.org/core_title/gb/434611
JM
Reply all
Reply to author
Forward
0 new messages