Martin Wirsing

4 books • 3 series

Mar 23, 2013
Cover of Java kompakt

Java kompakt (eXamen.Press)

Jan 1, 2005
Cover of Adapting Proofs-As-Programs

Adapting Proofs-As-Programs (Monographs in Computer Science)

Jan 1, 2005
Cover of Adapting Proofs-As-Programs: The Curry--Howard Protocol

Adapting Proofs-As-Programs: The Curry--Howard Protocol (Monographs in Computer Science)

Mar 28, 1991
Cover of Elementare Aussagenlogik

Elementare Aussagenlogik (Mathematik fur Informatiker)