Deine Suchergebnisse für

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 Project
Buch (Gebundene Ausgabe)

164,99 €
Models, Mindsets, Meta: The What, the How, and the Why Not?

Models, Mindsets, Meta: The What, the How, and the Why Not?
Buch (Taschenbuch) + weitere

51,99 €
Formal Modeling and Analysis of Timed Systems
Band 2791

Formal Modeling and Analysis of Timed Systems
eBook (PDF) + weitere

54,99 €
Computer Aided Verification
Band 2404

Computer Aided Verification
eBook (PDF) + weitere

98,99 €
CONCUR 2001 - Concurrency Theory
Band 2154

Kim G. Larsen + weitere
CONCUR 2001 - Concurrency Theory
Buch (Taschenbuch)

51,99 €
Automata, Languages and Programming
Band 1443

Kim G. Larsen, Sven Skyum + weitere
Automata, Languages and Programming
Buch (Taschenbuch)

99,99 €
Tools and Algorithms for the Construction and Analysis of Systems
Band 1019

Ed Brinksma, W. Rance + weitere
Tools and Algorithms for the Construction and Analysis of Systems
Buch (Taschenbuch) + weitere

51,99 €

von 7 Treffern werden angezeigt