Deine Suchergebnisse für
Versuchen Sie es mit einer anderen Buchhandlung in Ihrer Nähe.
-
Automated Technology for Verification and Analysis
Band 9938
Automated Technology for Verification and AnalysiseBook (PDF) + weitere
54,99 €
-
Computer Aided Verification
Band 1633
Computer Aided VerificationeBook (PDF) + weitere
54,99 €
-
Model Checking, second edition
Edmund M. Clarke, Orna Grumberg, Daniel Kroening, Doron Peled + weitere
Model Checking, second editioneBook (ePUB)
83,80 €
von 3 Treffern werden angezeigt