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 -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LgGeowbjX1%3DW9AHOaqmuM5W8VSUZYK0BXJ7v-Y36kermA%40mail.gmail.com.