The Foundations of Program Verification (Series in Computer Science) (German Edition)

Primality and Cryptography (Series in Computer Science) (German Edition)

Formale Grundlagen der Programmierung

Compiler Specification and Verification (Lecture Notes in Computer Science, 124)

Algebra Fur Informatiker (English and German Edition)

Dependencies in Relational Databases (Teubner-Texte zur Mathematik) (German Edition)

Simple Program Schemes and Formal Languages (Lecture Notes in Computer Science, 20)

Grundzüge der Theoretischen Logik (Grundlehren der mathematischen Wissenschaften) (German Edition)

Eine Termlogik mit Auswahloperator (Lecture Notes in Mathematics) (German Edition)

Mathematische Gesetze der Logik I: Vorlesungen über Aussagenlogik (Grundlehren der mathematischen Wissenschaften) (German Edition)

Semantik Und Programmverifikation

Keywords