Deine Suchergebnisse für
Versuchen Sie es mit einer anderen Buchhandlung in Ihrer Nähe.
-
Hybrid Systems
Band 736Robert L. Grossman, Anil Nerode, Anders P. Ravn + weitere
Hybrid SystemsBuch (Taschenbuch)
49,99 €
-
Automated Technology for Verification and Analysis
Band 5799Zhiming Liu + weitere
Automated Technology for Verification and AnalysisBuch (Taschenbuch)
49,99 €
-
Formal Techniques in Real-Time and Fault-Tolerant Systems
Band 1486Anders P. Ravn + weitere
Formal Techniques in Real-Time and Fault-Tolerant SystemsBuch (Taschenbuch)
49,99 €
von 3 Treffern werden angezeigt