عنوان
پدید آورنده
موضوع
رده
QA 75.5 .N383 1988
QA
75
.
5
.
N383
1988
کتابخانه
محل استقرار
Constructive methods in computing science : International Summer School
1988 : Marktoberdorf, Germany
Berlin
Springer-Verlag
1989
viii, 478p.: ill
NATO ASI series. Series F: Computer and systems sciences; Vol.55
Proceedings of NATO ASI on Constructive Methods in Computing Science held at FRG., July 24 - August 5, 1988
Includes bibliographies
ISBN: 3540513698
directed by E. L. Bauer...]et al.[; edited by Manfred Broy
1
Congresses ، Electronic data processing
QA
75
.
5
.
N383
1988
AU
AU Broy, Manfred, 1949-
CO North Atlantic Treaty Organization. Scientific Affairs Division
TI
SE
NATO Advanced Study Institute on Constructive Methods in Computing Science
