Deine Suchergebnisse für
Versuchen Sie es mit einer anderen Buchhandlung in Ihrer Nähe.
-
Handbook of Model Checking
- 15%
Handbook of Model CheckingBuch (Gebundene Ausgabe) + weitere
129,99 € UVP
153,99 €* -
Computer Aided Verification
Band 8044
Computer Aided VerificationeBook (PDF) + weitere
98,99 €
-
Computer Science Logic
Band 6247
Computer Science LogiceBook (PDF) + weitere
54,99 €
-
Logic for Programming, Artificial Intelligence, and Reasoning
Band 5330
Logic for Programming, Artificial Intelligence, and ReasoningBuch (Taschenbuch) + weitere
99,99 €
-
Model Checking, second edition
Edmund M. Clarke, Orna Grumberg, Daniel Kroening, Doron Peled + weitere
Model Checking, second editioneBook (ePUB)
83,80 €
-
25 Years of Model Checking
Band 5000Orna Grumberg + weitere
25 Years of Model CheckingBuch (Taschenbuch)
34,99 €
von 6 Treffern werden angezeigt