direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

1993

K. Bohlmann and R. Loogen and Y. Ortega-Mallén (1993). Concurrent Functional Processes. 5th International Workshop on the Implementation of Functional Languages, Nijmegen, NL


Hartmut Ehrig and Peter Pepper (1993). On the Potential Role of Algebraic Specification within Computer Science. Current Trends in Theoretical Computer Science. World Scientific, 51-53.


Peter Pepper (1993). Deductive Derivation of Parallel Programs. Parallel Algorithm Derivation and Program Transformation. Kluwer Academic Publishers, 1–53.


P. Pepper (1993). Program development in an algebraic setting. Formal Program Development. Springer Verlag, Berlin, Heidelberg, New York, 225–262.


P. Pepper and Jürgen Exner and Mario Südholt (1993). Functional Development of Massively Parallel Programs. Formal Methods in Programming and Their Applications. Proceedings International Conference Novosibirsk, June/July 1993. Lecture Notes on Computer Science 735. Springer Verlag, Berlin, 217–238.


Peter Pepper and Jürgen Exner and Mario Südholt (1993). Funktionale Programmierung für massiv parallele Systeme. Informatik –- Wirtschaft –- Gesellschaft. Springer Verlag, Berlin, Heidelberg, New York, 551–556.


1992




P. Pepper and David Wile (1992). Local Formalisms: An Algebraic View.


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Leiter

Prof. Dr. Peter Pepper
Sprechstd.: keine mehr

Sekretariat

Christine Beyer
Raum EN 538
Tel: +49 30 314-22280

Öffnungszeiten

mail/tel. vereinbaren

Postadresse

Technische Universität Berlin
Fakultät IV - Elektrotechnik und Informatik - ÜBB
Sekr. EN 13
Raum EN 538
Einsteinufer 17
D-10587 Berlin