Martin Wirsing

STACS 87: 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, FRG, February 19-21, 1987 (Lecture Notes in Computer Science)

Martin Wirsing

$69.99

Methods of Programming: Selected Papers on the CIP-Project (Lecture Notes in Computer Science)

Martin Wirsing

$59.78

Adapting Proofs-As-Programs: The Curry--Howard Protocol

Martin Wirsing

$169.99

Elementare Aussagenlogik (Mathematik für Informatiker)

Martin Wirsing

Out of Stock

Java kompakt: Eine Einführung in die Software-Entwicklung mit Java (eXamen.press)

Martin Wirsing

Out of Stock