Deine Suchergebnisse für
Versuchen Sie es mit einer anderen Buchhandlung in Ihrer Nähe.
-
Models, Mindsets, Meta: The What, the How, and the Why Not?
Band 11200
Models, Mindsets, Meta: The What, the How, and the Why Not?Buch (Taschenbuch) + weitere
49,99 €
-
Quantitative Model-Based Analysis of Real-Time Embedded Systems: The Quasimodo Project
Band 0
Quantitative Model-Based Analysis of Real-Time Embedded Systems: The Quasimodo ProjectBuch (Gebundene Ausgabe)
161,99 €
-
Formal Modeling and Analysis of Timed Systems
Band 2791
Formal Modeling and Analysis of Timed SystemseBook (PDF) + weitere
53,49 €
-
Computer Aided Verification
Band 2404
Computer Aided VerificationeBook (PDF) + weitere
96,29 €
-
Automata, Languages and Programming
Band 1443Kim G. Larsen, Sven Skyum + weitere
Automata, Languages and ProgrammingBuch (Taschenbuch)
97,99 €
-
Tools and Algorithms for the Construction and Analysis of Systems
Band 1019Ed Brinksma, W. Rance + weitere
Tools and Algorithms for the Construction and Analysis of SystemsBuch (Taschenbuch) + weitere
49,99 €
-
CONCUR 2001 - Concurrency Theory
Band 2154Kim G. Larsen + weitere
CONCUR 2001 - Concurrency TheoryBuch (Taschenbuch)
49,99 €
von 7 Treffern werden angezeigt