Deine Suchergebnisse für
Versuchen Sie es mit einer anderen Buchhandlung in Ihrer Nähe.
-
Provably Correct Systems
Provably Correct SystemsBuch (Taschenbuch) + weitere
99,99 €
-
Model Checking, Synthesis, and Learning
Band 13030
Model Checking, Synthesis, and LearningeBook (ePUB) + weitere
71,49 €
-
Correct System Design
Band 1710
Correct System DesigneBook (PDF) + weitere
54,99 €
-
Formal Techniques in Real-Time and Fault-Tolerant Systems
Band 2469
Formal Techniques in Real-Time and Fault-Tolerant SystemseBook (PDF) + weitere
54,99 €
-
Programmverifikation
Krzysztof R. Apt + weitere
ProgrammverifikationBuch (Taschenbuch) + weitere
30,90 €
-
Real-Time Systems
Ernst-Rüdiger Olderog + weitere
Real-Time SystemsBuch (Gebundene Ausgabe) + weitere
131,99 €
-
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt + weitere
Verification of Sequential and Concurrent ProgramseBook (PDF) + weitere
87,99 €
von 7 Treffern werden angezeigt