Name: Temporal Logic
Brand: Ohlbach, Hans J.
SKU: ID11998474
Availability: InStock

Temporal Logic

105.40 EUR 11% Off 118.00 EUR

Die Proceedings der ersten ICTL‑Konferenz in Bonn bieten einen kompakten Überblick über zeitbasierte Logik, von theoretischen Grundlagen bis zu praktischen Einsatzbeispielen in verteilten Systemen.

Marke: Ohlbach, Hans J.

MPN: 1

ISBN: 354058241X

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-11%

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 118.00 EUR

16-02-2026 20:10:45

Access to the deal

Gesponsert Temporal Logic

SpringerLink DE

118.00 EUR 118.00 EUR

12-02-2026 17:03:21

Access to the deal

Temporal Logic

Gesponsert Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings (Lecture Notes in Computer Science)

Gesponsert Temporal Logic

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Temporal Logic

Gesponsert Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings (Lecture Notes in Computer Science)

Gesponsert Temporal Logic

Ähnliche Produkte

Advances in Verification of Time Petri Nets and Timed Automata

Temporal Logic: From Ancient Ideas to Artificial Intelligence (Studies in Linguistics and Philosophy)

Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic, Band 29)

Verifying Concurrent Processes Using Temporal Logic