Temporal Logic

Entdecken Sie in den Proceedings der ersten internationalen Konferenz zur temporalen Logik (ICTL ’94) in Bonn spannende Arbeiten, die neue Ansätze ...
Temporal Logic
Wo zu kaufen (2) Eigenschaften
Gesponsert
Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings (Lecture Notes in Computer Science)
Medimops DE
105.40 EUR
Preis aktualisiert am: 16-02-2026 20:10:45
Siehe Produktangebot
Gesponsert
Temporal Logic
SpringerLink DE
106.99 EUR
Preis aktualisiert am: 13-02-2026 13:02:54
Siehe Produktangebot

Allgemein

Marke
Ohlbach, Hans J.
MPN
Ohlbach, Hans J. 1
ISBN
Ohlbach, Hans J. 354058241X

Eigenschaften

Ähnliche Produkte

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Produkt anzeigen
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, Band 20)
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, Band 20)
Produkt anzeigen
Temporal Logic: From Ancient Ideas to Artificial Intelligence (Studies in Linguistics and Philosophy)
Temporal Logic: From Ancient Ideas to Artificial Intelligence (Studies in Linguistics and Philosophy)
Produkt anzeigen
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic, 29, Band 29)
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic, 29, Band 29)
Produkt anzeigen
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129, Band 129)
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129, Band 129)
Produkt anzeigen
Piterman, Nir: Extending Temporal Logic with Omega-automata
Piterman, Nir: Extending Temporal Logic with Omega-automata
Produkt anzeigen
Menü