„bernhard beckert"
-
Formal Verification of Object-Oriented Software
Band 6528
Formal Verification of Object-Oriented SoftwareeBook (PDF) + weitere
54,99 €
-
Electronic Voting
Band 11759
Electronic VotingeBook (PDF) + weitere
62,69 €
-
Formal Methods for Components and Objects
Band 7542
Formal Methods for Components and ObjectsBuch (Taschenbuch) + weitere
51,99 €
-
Deductive Software Verification - The KeY Book
Band 10001
Deductive Software Verification - The KeY BookeBook (PDF) + weitere
120,99 €
-
Deductive Software Verification: Future Perspectives
Band 12345
Deductive Software Verification: Future PerspectiveseBook (PDF) + weitere
54,99 €
-
The Logic of Software. A Tasting Menu of Formal Methods
Band 13360
The Logic of Software. A Tasting Menu of Formal MethodsBuch (Taschenbuch) + weitere
96,99 €
-
Tests and Proofs
Band 4966
Tests and ProofsBuch (Taschenbuch)
51,99 €
-
Automated Reasoning with Analytic Tableaux and Related Methods
Band 3702Bernhard Beckert
Automated Reasoning with Analytic Tableaux and Related MethodsBuch (Taschenbuch)
51,99 €
-
Verification of Object-Oriented Software. The KeY Approach
Band 4334Bernhard Beckert, Reiner Hähnle + weitere
Verification of Object-Oriented Software. The KeY ApproachBuch (Taschenbuch)
109,99 €