Deine Suchergebnisse für
Versuchen Sie es mit einer anderen Buchhandlung in Ihrer Nähe.
-
Hybrid Systems: Computation and Control
Hybrid Systems: Computation and ControlBand 2623eBook (PDF) + weitere
Fr. 125.90
Sofort per Download lieferbar
-
Temporal Verification of Reactive Systems
Zohar Manna + weitere
Temporal Verification of Reactive SystemsBuch (Gebundene Ausgabe) + weitere
Fr. 137.00
Versandfertig innert 1 - 2 Wochen
-
The Temporal Logic of Reactive and Concurrent Systems
Zohar Manna + weitere
The Temporal Logic of Reactive and Concurrent SystemseBook (PDF) + weitere
Fr. 62.90
Sofort per Download lieferbar
-
Temporal Logic in Specification
Benham Banieqbal, Howard Barringer + weitere
Temporal Logic in SpecificationBand 398Buch (Taschenbuch)
Fr. 72.90
Versandfertig innert 4 - 7 Werktagen
-
Compositionality: The Significant Difference
Willem-Paul de Roever, Hans Langmaack + weitere
Compositionality: The Significant DifferenceBand 1536Buch (Taschenbuch)
Fr. 137.00
Versandfertig innert 4 - 7 Werktagen
-
Perspectives of Systems Informatics
Amir Pnueli, Irina Virbitskaite + weitere
Perspectives of Systems InformaticsBuch (Taschenbuch) + weitere
Fr. 73.90
Versandfertig innert 4 - 7 Werktagen
von 6 Treffern werden angezeigt