direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

1985

P. Pepper (1985). Spezifikation verteilter Systeme mit modaler Logik. Technische Universität München


1984

P. Pepper (1984). Program Transformation and Programming Environments. Springer Verlag, Berlin, Heidelberg, New York.


P. Pepper (1984). Algebraic techniques for program specification. Program Transformation and Programming Environments. Springer Verlag, Berlin, Heidelberg, New York, 231–244.


P. Pepper (1984). Inferential techniques for program development. Program Transformation and Programming Environments. Springer Verlag, Berlin, Heidelberg, New York, 275–290.


1983

M. Broy and P. Pepper (1983). On the coherence of programming language and programming methodology. Programming Languages and System Design, Proc. IFIP TC 2 Working Conf., Dresden, GDR, 7–10 March 1983. North-Holland, 41–53.


H. Partsch and P. Pepper (1983). Abstract data types as a tool for requirements engineering. Requirements Engineering. Informatik-Fachberichte 74. Springer Verlag, Berlin, Heidelberg, New York, 42–55.


M. Broy and W. Dosch and H. Partsch and P. Pepper and M. Wirsing (1983). On hierarchies of abstract data types. Acta Informatica, 1–33.


1982

M. Broy and P. Pepper (1982). Combining algebraic and algorithmic reasoning: an approach to the Schorr-Waite algorithm. ACM Transactions on Programming Languages and Systems, 362–381.


Peter Pepper (1982). Specification languages and program transformation. Relationship between Numerical Computation and Programming Languages, Proc. IFIP TC 2 Conference, Boulder, Aug. 3–7 1981. North-Holland, 331–346.


F.L. Bauer and M. Broy and W. Dosch and H. Partsch and P. Pepper and M. Wirsing (1982). Abstrakte Datentypen: Die algebraische Definition von Rechenstrukturen. Informatik Spektrum, 107–119.


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