Deine Suchergebnisse für

Deductive Software Verification - The KeY Book
Band 10001

Deductive Software Verification - The KeY Book
eBook (PDF) + weitere

117,69 €
Theorie der logischen Programmierung

Peter H. Schmitt
Theorie der logischen Programmierung
Buch (Taschenbuch) + weitere

54,99 €
Nonmonotonic and Inductive Logic
Band 543

Jürgen Dix, Klaus P. Jantke + weitere
Nonmonotonic and Inductive Logic
Buch (Taschenbuch) + weitere

49,99 €
Verification of Object-Oriented Software. The KeY Approach
Band 4334 - 13%

Bernhard Beckert, Reiner Hähnle + weitere
Verification of Object-Oriented Software. The KeY Approach
Buch (Taschenbuch)

92,99 € UVP ~~106,99 €~~ ^*

von 4 Treffern werden angezeigt