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

Zeitliche Überprüfung reaktiver Systeme: Sicherheit, Hardcover von Manna, Zohar...

Ø 0.0
0 Bewertungen
117,00 €

Jetzt bei Ebay:

Zum Angebot *
  • Book Title:
    Temporal Verification of Reactive Systems : Safety
  • ISBN:
    9780387944593
  • Standard Shipping:
    Standard International Shipping 18,56 EUR - Lieferung zwischen 27. June 2025 und 07. July 2025 (bei heutigem Zahlungseingang)
  • Versand nach:
    Weltweit
  • Versand ausgeschlossen:
    US-Protektorate , APO/FPO , Bolivien , Brasilien , Ecuador , Falklandinseln (Malwinen) , Französisch-Guayana , Guyana , , Venezuela , ... und weitere

Ähnliche Artikel

Produktbild - Temporal Verification of Reactive Systems: Safety by Manna, Zohar; Pnueli, Amir

Temporal Verification of Reactive Systems: Safety by Manna, Zohar; Pnueli, Amir

93,14 €
Zum Angebot
Produktbild - Temporal Verification of Reactive Systems: Safety by Zohar Manna: New

Temporal Verification of Reactive Systems: Safety by Zohar Manna: New

114,50 €
Zum Angebot
Produktbild - Temporal Verification of Reactive Systems: Safety by Zohar Manna (English) Hardc

Temporal Verification of Reactive Systems: Safety by Zohar Manna (English) Hardc

122,18 €
Zum Angebot
Produktbild - Manna - Temporal Verification of Reactive Systems Safety - New hardb - L555z

Manna - Temporal Verification of Reactive Systems Safety - New hardb - L555z

118,86 €
Zum Angebot
Produktbild - The Temporal Logic of Reactive and Concurrent Systems: Specification by Zohar Ma

The Temporal Logic of Reactive and Concurrent Systems: Specification by Zohar Ma

67,37 €
Zum Angebot
Produktbild - The Temporal Logic of Reactive and Concurrent Systems: Specification by Manna

The Temporal Logic of Reactive and Concurrent Systems: Specification by Manna

36,21 €
Zum Angebot
Produktbild - The Temporal Logic of Reactive and Concurrent Systems - 9781461269502

The Temporal Logic of Reactive and Concurrent Systems - 9781461269502

46,27 €
Zum Angebot
Produktbild - Verification of Reactive Systems: Formal Methods and Algorithms by Klaus Schneid

Verification of Reactive Systems: Formal Methods and Algorithms by Klaus Schneid

67,37 €
Zum Angebot
Produktbild - Manna - Temporal Verification of Reactive Systems Safety - New paper - L555z

Manna - Temporal Verification of Reactive Systems Safety - New paper - L555z

142,47 €
Zum Angebot
Produktbild - Temporal Logic and State Systems by Stephan Merz (English) Hardcover Book

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

89,55 €
Zum Angebot
Produktbild - The Temporal Logic of Reactive and Concurrent Systems: Specification by Manna

The Temporal Logic of Reactive and Concurrent Systems: Specification by Manna

124,53 €
Zum Angebot
Produktbild - Temporal Logic And State Systems, Hardcover by Kroger, Fred; Merz, Stefan, Li...

Temporal Logic And State Systems, Hardcover by Kroger, Fred; Merz, Stefan, Li...

100,60 €
Zum Angebot
Produktbild - The Temporal Logic of Reactive and Concurrent Systems: Specification by Zohar Ma

The Temporal Logic of Reactive and Concurrent Systems: Specification by Zohar Ma

128,69 €
Zum Angebot
Produktbild - Spatial Temporal Information Systems: An Ontological Approach using STK by Linda

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

91,00 €
Zum Angebot
Produktbild - Temporal Logic And State Systems, Hardcover by Kroger, Fred; Merz, Stefan, Br...

Temporal Logic And State Systems, Hardcover by Kroger, Fred; Merz, Stefan, Br...

100,61 €
Zum Angebot
Produktbild - Reading the Zohar: A Sacred Text of Kabbalah by Pinchas Giller (English) Hardcov

Reading the Zohar: A Sacred Text of Kabbalah by Pinchas Giller (English) Hardcov

211,45 €
Zum Angebot
Produktbild - The Temporal Logic of Reactive and Concurrent Systems: Specification, Pnueli, Am

The Temporal Logic of Reactive and Concurrent Systems: Specification, Pnueli, Am

23,22 €
Zum Angebot
Produktbild - Manna - Temporal Logic of Reactive and Concurrent Systems Specificat - L555z

Manna - Temporal Logic of Reactive and Concurrent Systems Specificat - L555z

61,67 €
Zum Angebot
Produktbild - Manna - Temporal Logic of Reactive and Concurrent Systems Specificat - L555z

Manna - Temporal Logic of Reactive and Concurrent Systems Specificat - L555z

131,57 €
Zum Angebot
Produktbild - Advances in Temporal Logic, Hardcover by Barringer, Howard (EDT); Fisher, Mic...

Advances in Temporal Logic, Hardcover by Barringer, Howard (EDT); Fisher, Mic...

168,63 €
Zum Angebot
* Affiliate-Link zur Verkaufsplattform Ebay