عنوان
پدید آورنده
موضوع
رده
QA 267.3 .N38 1986
QA
267
.
3
.
N38
1986
کتابخانه
محل استقرار
Logic of programming and calculi of discrete design
1986: Marktoberdorf, Germany
Berlin
Springer-Verlag
c1987
413p.: ill., ports
NATO ASI series. Series F: Computer and systems sciences; Vol.63
"Published in cooperation with NATO Scientific Affairs Division. Proceedings of the NATO Advanced Study Ins. on Logic of Programming ... 1986
ISBN: 3540180036
edited by Manfred Broy
1
2
Congresses ، Formal languages
QA
267
.
3
.
N38
1986
AU
AU Broy, Manfred, 1949-
CO North Atlantic Treaty Organization. Scientific Affairs Division
TI
SE
NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design
