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

Mogavero, Fabio

 
9789491216961: Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics
Couverture souple
ISBN 10 : 9491216961 ISBN 13 : 9789491216961
Editeur : Atlantis Press, 2013

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

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

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Atlantis Press
Date d'édition
2013
Langue
anglais
ISBN 10 
9491216961
ISBN 13 
9789491216961
Reliure
Paperback
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9789491216947: Logics in Computer Science

Edition présentée

ISBN 10 :  9491216945 ISBN 13 :  9789491216947
Editeur : Springer, 2013
Couverture rigide