عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.215
QA
76
.
L28
Vol
.
215
کتابخانه
محل استقرار
Mathematical methods of specification and synthesis of software systems '85 : Proceedings
Berlin
Springer-Verlag
c1986
245p.: ill
Lecture notes in computer science; 512
Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985
Includes bibliographies
ISBN: 3540164448
edited by W. Bibel and K.P. Jantke
1
Congresses ، Computer software -- Development
QA
76
.
L28
Vol
.
215
CA
QA
76
.
76
.
D47M37
1986
TI
AU Bibel, W., 1938-
AU Jantke, Klaus Peter, 1951-
SE
