Deine Suchergebnisse für
Versuchen Sie es mit einer anderen Buchhandlung in Ihrer Nähe.
-
Logic for Programming, Artificial Intelligence, and Reasoning
Band 5330
Logic for Programming, Artificial Intelligence, and ReasoningBuch (Taschenbuch) + weitere
97,99 €
Lieferbar in 3 - 5 Tagen
-
Computer Aided Verification
- 10%
Computer Aided VerificationBuch (Taschenbuch) + weitere
95,99 € UVP
106,99 €*Lieferbar in 3 - 5 Tagen
-
Computer Science Logic
Band 6247
Computer Science LogicBuch (Taschenbuch) + weitere
49,99 €
Lieferbar in 2 - 3 Wochen
-
Handbook of Model Checking
- 15%
Handbook of Model CheckingBuch (Gebundene Ausgabe) + weitere
126,99 € UVP
149,79 €*Lieferbar in 5 - 7 Tagen
-
25 Years of Model Checking
Orna Grumberg + weitere
25 Years of Model CheckingBuch (Taschenbuch)
34,99 €
Lieferbar in 3 - 5 Tagen
-
Model Checking, second edition
Edmund M. Clarke, Orna Grumberg, Daniel Kroening, Doron Peled + weitere
Model Checking, second editioneBook (ePUB 3)
79,49 €
Sofort per Download lieferbar
von 6 Treffern werden angezeigt