عنوان
پدید آورنده
موضوع
رده
QA،75.5،.N383،1988
QA
،
75
.
5
،.
N383
،
1988
کتابخانه
محل استقرار
English Book
Constructive Methods in Computing Science: International Summer School directed by F. L. Bauer...[et al.]&
Edited by Manfred Broy
Berlin
Springer-Verlag
1988
VIII, 478 P
Title
Bibliography
Electronic data processing- Congresses
QA
75
.
5
.
N383
1988
NATO Advanced Study Institute on Constructive Methods in Computing Science (1988: Marktoberdorf, Germany)
Broy, M., 1949- , Editor
