Informatik 1 : Eine einführende Übersicht

by Bauer, Friedrich L., Goos, Gerhard
Published 1991

Vorlesungen über Informatik : Berechenbarkeit, formale Sprachen, Spezifikationen

by Goos, Gerhard
Published 1997

Compiler Construction

by Waite, William M., Goos, Gerhard
Published 1984

Theorem Proving in Higher Order Logics : 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings

by Goos, Gerhard
Published 1996

DIANA An Intermediate Language for Ada

by Butler, Kenneth
Published 1983