TY  - GEN
AU  - Broy,M
ED  - North Atlantic Treaty Organization
TI  - Logic of programming and calculi of discrete design: International Summer School directed by F.L. Bauer ... [et al.]
T2  - NATO ASI series. Series F, Computer and systems sciences
SN  - 0387180036 (U.S.)
U1  - 005.13/1 
PY  - 1987///
CY  - Berlin, New York
PB  - Springer-Verlag
KW  - Formal languages
KW  - Congresses
KW  - Logic programming
N1  - "Published in cooperation with NATO Scientific Affairs Division."; "Proceedings of the NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design held in Marktoberdorf, Federal Republic of Germany, July 29 - August 10, 1986"--Verso t.p; Cuprinde bibliografie
ER  -