Deine Suchergebnisse für

Temporal Verification of Reactive Systems
- 13%

Zohar Manna + weitere
Temporal Verification of Reactive Systems
Buch (Taschenbuch) + weitere

104,99 € UVP ~~120,99 €~~ ^*
Perspectives of Systems Informatics
Band 5947

Amir Pnueli, Irina Virbitskaite + weitere
Perspectives of Systems Informatics
Buch (Taschenbuch) + weitere

51,99 €
Compositionality: The Significant Difference
Band 1536

Willem-Paul de Roever, Hans Langmaack + weitere
Compositionality: The Significant Difference
Buch (Taschenbuch)

99,99 €
The Temporal Logic of Reactive and Concurrent Systems

Zohar Manna + weitere
The Temporal Logic of Reactive and Concurrent Systems
eBook (PDF) + weitere

54,99 €
Temporal Logic in Specification
Band 398

Benham Banieqbal, Howard Barringer + weitere
Temporal Logic in Specification
Buch (Taschenbuch)

51,99 €
Hybrid Systems: Computation and Control
Band 2623

Freek Wiedijk, Oded Maler + weitere
Hybrid Systems: Computation and Control
Buch (Taschenbuch)

99,99 €

von 6 Treffern werden angezeigt