著者典拠情報

著者標目形：
Langmaack, Hans
属性：
Personal
から見よ参照形：
Langmaack, H.
Langmaack, H. (Hans)
注記：
nuc88-99475: Implementierung PASCAL-artiger Programmiersprachen, 1982 (hdg. on CU-S rept.: Langmaack, Hans; usage: Hans Langmaack)
VDM-Europe. International Symp. (3rd : 1990 : Kiel, Germany). VDM '90, c1990: CIP t.p. (H. Langmaack) t.p. verso, etc. (Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, Kiel, FRG; Hans Langmaack)
LC data base, 03-09-90 (hdg.: Langmaack, H.; usage: Hans Langmaack; H. Langmaack)
著者典拠ID：
DA0428948X


1.

図書
図書
1. Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : revised lectures
Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.)
出版情報: Berlin ; New York : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1536
所蔵情報: 図書館
2.

図書
図書
2. VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, proceedings (: gw ; : us)
D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 428
所蔵情報: 図書館
3.

図書
図書
3. Translation of Algol 60
A.A. Grau, U. Hill, H. Langmaack
出版情報: Berlin : Springer, 1967
シリーズ名: Die Grundlehren der mathematischen Wissenschaften ; Bd. 137 . Handbook for automatic computation ; v. 1, pt. b
所蔵情報: 図書館