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

Mogavero, Fabio

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

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

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

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Atlantis Press
Erscheinungsdatum
2013
Sprache
Englisch
ISBN 10 
9491216961
ISBN 13 
9789491216961
Einband
Taschenbuch
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

9789491216947: Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics (Atlantis Studies in Computing, 3, Band 3)

Vorgestellte Ausgabe

ISBN 10:  9491216945 ISBN 13:  9789491216947
Verlag: Springer, 2013
Hardcover