Hans Langmaack
发表
Hans Langmaack,
H. Langmaack,
1971,
Acta Informatica.
Hans Langmaack,
2004,
Acta Informatica.
Amir Pnueli,
Hans Langmaack,
Compos,
1998
.
Dines Bjørner,
G. Goos,
J. Hartmanis,
1990,
Lecture Notes in Computer Science.
Hans Langmaack,
Peter Kandzia,
1973,
Teubner Studienbücher: Informatik.
Hans Langmaack,
Wolfgang Goerigk,
2001
.
Hans Langmaack,
Willem P. de Roever,
Jan Vytopil,
1994
.
Hans Langmaack,
H. Langmaack,
1974,
Acta Informatica.
Hans Langmaack,
Andrzej Salwicki,
H. Langmaack,
2013,
Fundam. Informaticae.
Egon Börger,
Hans Langmaack,
Jean-Raymond Abrial,
1995,
Formal Methods for Industrial Applications.
Hans Langmaack,
2010,
Concurrency, Compositionality, and Correctness.
Hans Langmaack,
H. Langmaack,
1975,
Automata Theory and Formal Languages.
Dines Bjørner,
Hans Langmaack,
C. A. R. Hoare,
1990
.
Hans Langmaack,
Andrzej Salwicki,
Marek Warpechowski,
2009,
Inf. Comput..
Hans Langmaack,
Albert A. Grau,
Ursula Hill,
1967
.
Egon Börger,
Hans Langmaack,
Jean-Raymond Abrial,
1996,
Lecture Notes in Computer Science.
Hans Langmaack,
W. P. de Roever,
Jan Vytopil,
1993
.
Hans Langmaack,
2002,
Informatik-Spektrum.
Hans Langmaack,
Andrzej Salwicki,
Marek Warpechowski,
2008,
Fundam. Informaticae.
Hans Langmaack,
H. Langmaack,
1974,
Fachtagung über Programmiersprachen.
Ernst-Rüdiger Olderog,
Hans Langmaack,
H. Langmaack,
1980,
ICALP.
Hans Langmaack,
2010,
Informatik-Spektrum.
Egon Börger,
Hans Langmaack,
Jean-Raymond Abrial,
1996
.
Hans Langmaack,
1965,
CACM.
Hans Langmaack,
H. Langmaack,
1983,
FCT.
Amir Pnueli,
Willem-Paul de Roever,
Hans Langmaack,
1999,
Lecture Notes in Computer Science.
Hans Langmaack,
H. Langmaack,
1978,
Mathematical Studies of Information Processing.
Hans Langmaack,
H. Langmaack,
2004,
Essays in Memory of Ole-Johan Dahl.
Martin Fränzle,
Bettina Buth,
Markus Müller-Olm,
1992,
CC.
Joachim W. Schmidt,
Hans Langmaack,
Bodo Schlender,
1982,
PASCAL.
Hans Langmaack,
H. Langmaack,
2004,
Abstract State Machines.
Hans Langmaack,
Wolfram-Manfred Lippe,
Franz Wagner,
1979,
Inf. Process. Lett..
Hans Langmaack,
H. Langmaack,
1997,
Real-Time Systems.
Hans Langmaack,
H. Langmaack,
1997,
Informationstechnik Tech. Inform..
Hans Langmaack,
H. Langmaack,
1973,
Acta Informatica.
Hans Langmaack,
H. Langmaack,
2007,
Formal Methods and Hybrid Real-Time Systems.
Hans Langmaack,
H. Langmaack,
2010,
Informatik-Spektrum.
Ernst-Rüdiger Olderog,
Jonathan P. Bowen,
Hans Langmaack,
1996
.
Antoni Kreczmar,
Manfred Krause,
Hans Langmaack,
1984,
Symposium on Computation Theory.
Hans Langmaack,
H. Langmaack,
2010,
Informatik-Spektrum.
Hans Langmaack,
H. Langmaack,
2005,
COCV@ETAPS.
Hans Langmaack,
2004,
Acta Informatica.
Hans Langmaack,
Ch. Crasemann,
1983,
Logic of Programs.
Verbandstheoretische Einbettung von Klassen unwesentlich verschiedener Ableitungen in die Zopfgruppe
Hans Langmaack,
2005,
Computing.
Hans Langmaack,
H. Langmaack,
1997,
Foundations of Computer Science: Potential - Theory - Cognition.