Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics - Brossura

Mogavero, Fabio

 
9789491216961: Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics
Brossura
ISBN 10: 9491216961 ISBN 13: 9789491216961
Casa editrice: Atlantis Press, 2013

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

Graded Computation Tree Logic.- Minimal Model Quantifiers.- Reasoning About Strategies.- Relentful Strategic Reasoning.- Appendix A Mathematical Notation.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Atlantis Press
Data di pubblicazione
2013
Lingua
Inglese
ISBN 10 
9491216961
ISBN 13 
9789491216961
Rilegatura
Taschenbuch
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

Altre edizioni note dello stesso titolo

9789491216947: Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics: 3

Edizione in evidenza

ISBN 10:  9491216945 ISBN 13:  9789491216947
Casa editrice: Springer, 2013
Rilegato