Deine Suchergebnisse für
Versuchen Sie es mit einer anderen Buchhandlung in Ihrer Nähe.
-
Verification, Model Checking, and Abstract Interpretation
Band 9583
Verification, Model Checking, and Abstract InterpretationBuch (Taschenbuch) + weitere
49,99 €
-
Tools and Algorithms for the Construction and Analysis of Systems
Band 6605
Tools and Algorithms for the Construction and Analysis of SystemsBuch (Taschenbuch) + weitere
49,99 €
-
Computer Aided Verification
Band 12760
Computer Aided VerificationBuch (Taschenbuch)
39,99 €
-
Computer Aided Verification
Band 12759
Computer Aided VerificationBuch (Taschenbuch)
39,99 €
-
Program Proofs
K. Rustan M. Leino + weitere
Program ProofsBuch (Taschenbuch) + weitere
81,99 €
von 5 Treffern werden angezeigt