„peter h. schmitt"
-
Deductive Software Verification - The KeY Book
Band 10001
Deductive Software Verification - The KeY BookeBook (PDF) + weitere
120,99 €
-
Theorie der logischen Programmierung
Peter H. Schmitt
Theorie der logischen ProgrammierungBuch (Taschenbuch) + weitere
56,90 €
-
Nonmonotonic and Inductive Logic
Band 543Jürgen Dix, Klaus P. Jantke + weitere
Nonmonotonic and Inductive LogicBuch (Taschenbuch) + weitere
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 €