Grude, Ulrich
VIAF ID: 30077809 ( Personal )
Permalink: http://viaf.org/viaf/30077809
Preferred Forms
- 100 1 _ ‡a Grude, Ulrich
-
-
- 100 1 _ ‡a Grude, Ulrich
5xx's: Related Names (4)
- 510 2 _ ‡a Technische Fachhochschule
- 510 2 _ ‡a Technische Fachhochschule Berlin ‡e Affiliation
- 510 2 _ ‡a Technische Universität Berlin
- 510 2 _ ‡a Technische Universität Berlin, West Fachbereich Kybernetik
Works
Title | Sources |
---|---|
Algebraische Spezifikation und Korrektheit von Compilern | |
Grundkurs Algorithmen und Datenstrukturen in JAVA eine Einführung in die praktische Informatik | |
Java ist eine Sprache Java lesen, schreiben und ausführen ; eine präzise und verständliche Einführung | |
language for resolution-oriented theorem provers | |
Some examples of algebraic specifications and implementations |