Buy Used and New Martin Wirsing Books

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

by Guy Vidal-Naquet,Franz J. Brandenburg,Martin Wirsing

ISBN 13: 9783540172192

Format: Paperback (500 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

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

by Iman Hafiz Poernomo,John N. Crossley,Martin Wirsing

ISBN 13: 9781441920140

Format: Paperback (432 pages)
Publisher: Springer
Published: 19 Nov 2010

Save for later

Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised ... 2755 (Lecture Notes in Computer Science)

by Martin Wirsing,Rolf Hennicker,Dirk Pattinson

ISBN 13: 9783540205371

Format: Paperback (472 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

STACS 88: 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988; Proceedings: 294 (Lecture Notes in Computer Science)

by Martin Wirsing,Robert Cori

ISBN 13: 9783540188346

Format: Illustrated (420 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later