Deine Suchergebnisse für
Versuchen Sie es mit einer anderen Filiale in Ihrer Nähe.
-
Formal Methods
Band 14933
Formal MethodsBuch (Taschenbuch)
Fr. 58.90
-
Formal Methods
Band 14934
Formal MethodsBuch (Taschenbuch)
Fr. 191.00
-
Automated Deduction – CADE 28
Band 12699
Automated Deduction – CADE 28Buch (Taschenbuch)
Fr. 58.90
-
Correct System Design
Band 9360
Correct System DesigneBook (PDF) + weitere
Fr. 60.90
-
Logical Analysis of Hybrid Systems
André Platzer
Logical Analysis of Hybrid SystemsBuch (Taschenbuch) + weitere
Fr. 138.00
-
Logical Foundations of Cyber-Physical Systems
André Platzer
Logical Foundations of Cyber-Physical SystemseBook (PDF) + weitere
Fr. 68.90
von 6 Treffern werden angezeigt