Peter Pepper
发表
Peter Pepper,
P. Pepper,
1993
.
Friedrich L. Bauer,
Manfred Broy,
Thomas Matzner,
1988,
Lecture Notes in Computer Science.
Peter Pepper,
P. Pepper,
1984
.
Friedrich L. Bauer,
Manfred Broy,
Thomas Matzner,
1981,
Sci. Comput. Program..
Martin Wirsing,
Peter Pepper,
M. Wirsing,
1995,
KORSO Book.
Wolfgang Grieskamp,
Peter Pepper,
M. Cebulla,
2002,
J. Syst. Softw..
Ingo Stürmer,
Mirko Conrad,
Heiko Dörr,
2007,
IEEE Transactions on Software Engineering.
Peter Pepper,
Broy Manfred,
P. Pepper,
1983
.
Peter Pepper,
P. Pepper,
1984,
NATO ASI Series.
Friedrich L. Bauer,
Helmuth Partsch,
Peter Pepper,
1982
.
Friedrich L. Bauer,
Helmuth Partsch,
Peter Pepper,
1978,
Program Construction.
Peter Pepper,
P. Pepper,
2004,
TFM.
Friedrich L. Bauer,
Manfred Broy,
Helmuth Partsch,
1980,
Informatik-Spektrum.
Bernhard Möller,
Peter Pepper,
P. Pepper,
1991
.
Friedrich L. Bauer,
Helmuth Partsch,
Bernhard Möller,
1989,
IEEE Trans. Software Eng..
Peter Pepper,
André Metzner,
2006
.
Manfred Broy,
Walter Dosch,
Martin Wirsing,
1985
.
Peter Pepper,
Programming Environments,
1984
.
Peter Pepper,
P. Pepper,
1987,
Sci. Comput. Program..
Peter Pepper,
1999,
Springer-Lehrbuch.
Peter Pepper,
2008,
SJTU-TUB Joint Workshop.
Friedrich L. Bauer,
Alexander Horsch,
Helmuth Partsch,
1987
.
Petra Hofstedt,
Peter Pepper,
2006,
eXamen.press.
Peter Pepper,
1995
.
Douglas R. Smith,
Peter Pepper,
P. Pepper,
1997,
Sci. Comput. Program..
Peter Pepper,
1987,
GI Jahrestagung.
Peter Pepper,
Christoph Höger,
Florian Lorenzen,
2010,
EOOLT.
Dusko Pavlovic,
Douglas R. Smith,
Peter Pepper,
2008,
AMAST.
Wolfgang Grieskamp,
Peter Pepper,
Carola Gerke,
1993,
Bull. EATCS.
Manfred Broy,
Peter Pepper,
M. Broy,
1981,
IEEE Transactions on Software Engineering.
Helmuth Partsch,
Peter Pepper,
P. Pepper,
1983,
Requirements Engineering.
Wolfgang Grieskamp,
Peter Pepper,
Klaus Didrich,
1997,
Implementation of Functional Languages.
Peter Pepper,
P. Pepper,
1997,
Proceedings of the Thirtieth Hawaii International Conference on System Sciences.
Manfred Broy,
Walter Dosch,
Martin Wirsing,
1979,
ICALP.
Peter Pepper,
P. Pepper,
1984
.
Peter Pepper,
1988,
ADT.
Peter Pepper,
2003
.
Peter Pepper,
1984
.
Dusko Pavlovic,
Douglas R. Smith,
Peter Pepper,
2003,
Verification: Theory and Practice.
Peter Pepper,
Alexandra Mehlhase,
Lena Scholz,
2011,
EOOLT.
Dusko Pavlovic,
Douglas R. Smith,
Peter Pepper,
2010,
MPC.
Hartmut Ehrig,
Fernando Orejas,
Peter Pepper,
1989,
ICALP.
Peter Pepper,
1988
.
Helmuth Partsch,
Peter Pepper,
1976,
Inf. Process. Lett..
Friedrich L. Bauer,
Helmuth Partsch,
Bernhard Möller,
1987,
Lecture Notes in Computer Science.
Manfred Broy,
Walter Dosch,
Martin Wirsing,
1985
.
Petra Hofstedt,
Peter Pepper,
Stephan Frank,
2008
.
Klaus Obermayer,
Peter Pepper,
Mario Südholt,
1997,
Algorithmic Languages and Calculi.
Peter Pepper,
P. Pepper,
1978,
Program Construction.
David Broman,
Peter Pepper,
David Broman,
2011,
EOOLT.
Peter Pepper,
Klaus Didrich,
S. Dick,
1995,
KORSO Book.
Peter Pepper,
2005
.
Peter Pepper,
Peter Pepper,
P. Pepper,
1989
.
Friedrich L. Bauer,
Alexander Horsch,
Helmuth Partsch,
1987
.
Peter Pepper,
1984
.
Markus Lepper,
Baltasar Trancón y Widemann,
Jacob Wieland,
2001
.
Peter Pepper,
1984
.
Friedrich L. Bauer,
Helmuth Partsch,
Peter Pepper,
1982
.
Peter Pepper,
P. Pepper,
1991,
Methods of Programming.
Walter Dosch,
Martin Wirsing,
Helmuth Partsch,
1983,
Acta Informatica.
Mohamed Jmaiel,
Peter Pepper,
2003,
Comput. Networks.
Wolfgang Grieskamp,
Peter Pepper,
Mario Südholt,
1996,
Ershov Memorial Conference.
Peter Pepper,
1982,
ADT.
Friedrich L. Bauer,
Manfred Broy,
Walter Dosch,
1985
.
Wolfgang Grieskamp,
Peter Pepper,
Klaus Didrich,
1994,
Programming Languages and System Architectures.
Peter Pepper,
1984
.
Manfred Broy,
Peter Pepper,
M. Broy,
1982,
TOPL.
Friedrich L. Bauer,
Manfred Broy,
Helmuth Partsch,
1978,
Program Construction.
Friedrich L. Bauer,
Manfred Broy,
Walter Dosch,
1982,
Inform. Spektrum.
Friedrich L. Bauer,
Helmuth Partsch,
Peter Pepper,
1982
.
Wolfgang Grieskamp,
Peter Pepper,
Klaus Didrich,
1996,
AMAST.
Petra Hofstedt,
Peter Pepper,
Stephan Frank,
2006,
Ershov Memorial Conference.
Peter Pepper,
1983,
ADT.
Peter Pepper,
Mario Südholt,
Jürgen Exner,
1993,
GI Jahrestagung.
Peter Pepper,
Mario Südholt,
Jürgen Exner,
1993,
Formal Methods in Programming and Their Applications.
Peter Pepper,
P. Pepper,
2004
.
Hartmut Ehrig,
Peter Pepper,
1993,
Current Trends in Theoretical Computer Science.
Friedrich L. Bauer,
Manfred Broy,
Helmuth Partsch,
1978,
SIGP.
Petra Hofstedt,
Peter Pepper,
2007
.
Peter Pepper,
P. Pepper,
1993,
Formal Program Development.
Manfred Broy,
Martin Wirsing,
Peter Pepper,
1987,
TOPL.
Manfred Broy,
Martin Wirsing,
Helmuth Partsch,
1980,
IFIP Congress.
Peter Pepper,
André Metzner,
2006
.
Friedrich L. Bauer,
Helmuth Partsch,
Bernhard Möller,
1987
.
Petra Hofstedt,
Peter Pepper,
P. Hofstedt,
2005,
Theory and Practice of Logic Programming.
Manfred Broy,
Martin Wirsing,
Bernhard Möller,
1986,
Sci. Comput. Program..
Manfred Broy,
Walter Dosch,
Martin Wirsing,
1985
.
Friedrich L. Bauer,
Alexander Horsch,
Helmuth Partsch,
1987
.
Manfred Broy,
Martin Wirsing,
Wolfgang Reif,
1994
.
Helmuth Partsch,
Peter Pepper,
P. Pepper,
1997
.
Peter Pepper,
P. Pepper,
1999
.