„amir pnueli"
-
Temporal Verification of Reactive Systems
- 12%Zohar Manna + weitere
Temporal Verification of Reactive SystemsBuch (Gebundene Ausgabe) + weitere
93,99 € UVP
106,99 €* -
Temporal Logic in Specification
Band 398Benham Banieqbal, Howard Barringer + weitere
Temporal Logic in SpecificationBuch (Taschenbuch)
49,99 €
-
The Temporal Logic of Reactive and Concurrent Systems
Zohar Manna + weitere
The Temporal Logic of Reactive and Concurrent SystemseBook (PDF) + weitere
53,49 €
-
Compositionality: The Significant Difference
Band 1536Willem-Paul de Roever, Hans Langmaack + weitere
Compositionality: The Significant DifferenceBuch (Taschenbuch)
97,99 €
-
Hybrid Systems: Computation and Control
Band 2623Freek Wiedijk, Oded Maler + weitere
Hybrid Systems: Computation and ControlBuch (Taschenbuch)
97,99 €
-
Perspectives of Systems Informatics
Band 5947Amir Pnueli, Irina Virbitskaite + weitere
Perspectives of Systems InformaticsBuch (Taschenbuch) + weitere
49,99 €
Vielen Dank für Ihr Feedback
Sie möchten eine Antwort von uns erhalten? Bitte kontaktieren Sie uns über die Kundenservice-Seite
zum Kundenservice