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 von Zohar Manna (Englisch) Hardc

Ø 0.0
0 Bewertungen
131,04 €

Temporal Verification of Reactive Systems by Zohar Manna, Amir Pnueli. Author Zohar Manna, Amir Pnueli. All researchers and students interested in the analysis and verification of reactive and concurrent systems will find this book to be a comprehensive guide on how formal techniques can be used to ensure the correctness of such systems.

Jetzt bei Ebay: