Deine Suchergebnisse für
Versuchen Sie es mit einer anderen Buchhandlung in Ihrer Nähe.
-
Formal Verification of Object-Oriented Software
Band 7421
Formal Verification of Object-Oriented SoftwareBuch (Taschenbuch) + weitere
46,99 €
-
Formal Methods for Components and Objects
Band 7542
Formal Methods for Components and ObjectsBuch (Taschenbuch) + weitere
49,99 €
-
Tests and Proofs
Band 4966
Tests and ProofsBuch (Taschenbuch)
49,99 €
-
Deductive Software Verification – The KeY Book
Band 10001
Deductive Software Verification – The KeY BookBuch (Taschenbuch) + weitere
115,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
93,99 €
-
Deductive Software Verification: Future Perspectives
Band 12345
Deductive Software Verification: Future PerspectiveseBook (PDF) + weitere
53,49 €
-
Electronic Voting
Band 12455
Electronic VotingeBook (PDF) + weitere
53,49 €
-
Verification of Object-Oriented Software. The KeY Approach
Band 4334 - 13%Bernhard Beckert, Reiner Hähnle + weitere
Verification of Object-Oriented Software. The KeY ApproachBuch (Taschenbuch)
92,99 € UVP
106,99 €* -
Automated Reasoning with Analytic Tableaux and Related Methods
Bernhard Beckert
Automated Reasoning with Analytic Tableaux and Related MethodsBuch (Taschenbuch)
49,99 €
von 9 Treffern werden angezeigt