Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Temporal Logics in Computer Science: Finite-State Systems by Stephane Demri (Eng

Ø 0.0

0 Bewertungen

159,79 €

Temporal Logics in Computer Science by Stephane Demri, Valentin Goranko, Martin Lange. Stephane Demri is a CNRS directeur de recherche at the Laboratoire Specification et Verification (LSV), Ecole Normale Superieure de Cachan, and he is currently the head of LSV.

Jetzt bei Ebay:

Zum Angebot *

ISBN-13:

9781107028364
Book Title:

Temporal Logics in Computer Science
ISBN:

9781107028364

Economy Shipping:

Economy International Shipping 15,53 EUR - Lieferung zwischen 25. July 2025 und 25. August 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Alaska/Hawaii , US-Protektorate , APO/FPO , Russische Föderation , Belarus , Schweiz , Ukraine , Katar , Saudi-Arabien , Marokko , ... und weitere

Temporal Logics in Computer Science: Finite-State Systems by Stephane Demri (Eng

Temporal Logics in Computer Science: Finite-State Systems by Stéphane Demri

Temporal Logics in Computer Science: Finite-State Systems by Stephane Demri (Eng

Temporal Logics in Computer Science: Finite-State Systems by Stephane Demri (Eng

Temporal Logics in Computer Science Finite-State Systems Demri Goranko Lange

Temporal Logics in Computer Science: Finite-State Systems (Cambridge Tracts in

Temporal Logics in Computer Science, Demri, Stph

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EAT,

Temporal Type Theory : A Topos-theoretic Approach to Systems and Behavior, Ha...

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

Temporal Logic and State Systems [Texts in Theoretical Computer Science. An EATC

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

Temporal Logic and State Systems by Stephan Merz (English) Hardcover Book

An Introduction to Practical Formal Methods Using Temporal Logic by Michael Fish

Temporal Logic and State Systems by Stephan Merz (English) Paperback Book

Logics for Emerging Applications of Databases by Jan Chomicki (English) Hardcove

Temporal Information Systems in Medicine by Carlo Combi (English) Hardcover Book

Logics for Databases and Information Systems by Jan Chomicki: New

Temporal Information Systems in Medicine by Carlo Combi (English) Paperback Book

Logics for Computer Science: Classical and Non-Classical by Anita Wasilewska (En

Spatial Temporal Information Systems: An Ontological Approach using STK by Linda

Temporal Logics in Computer Science: Finite-State Systems by Stephane Demri (Eng

Ähnliche Artikel

Temporal Logics in Computer Science: Finite-State Systems by Stéphane Demri

Temporal Logics in Computer Science: Finite-State Systems by Stephane Demri (Eng

Temporal Logics in Computer Science: Finite-State Systems by Stephane Demri (Eng

Temporal Logics in Computer Science Finite-State Systems Demri Goranko Lange

Temporal Logics in Computer Science: Finite-State Systems (Cambridge Tracts in

Temporal Logics in Computer Science, Demri, Stph

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EAT,

Temporal Type Theory : A Topos-theoretic Approach to Systems and Behavior, Ha...

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

Temporal Logic and State Systems [Texts in Theoretical Computer Science. An EATC

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

Temporal Logic and State Systems by Stephan Merz (English) Hardcover Book

An Introduction to Practical Formal Methods Using Temporal Logic by Michael Fish

Temporal Logic and State Systems by Stephan Merz (English) Paperback Book

Logics for Emerging Applications of Databases by Jan Chomicki (English) Hardcove

Temporal Information Systems in Medicine by Carlo Combi (English) Hardcover Book

Logics for Databases and Information Systems by Jan Chomicki: New

Temporal Information Systems in Medicine by Carlo Combi (English) Paperback Book

Logics for Computer Science: Classical and Non-Classical by Anita Wasilewska (En

Spatial Temporal Information Systems: An Ontological Approach using STK by Linda

Cookie Hinweis