عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.86
QA
76
.
L28
Vol
.
86
کتابخانه
محل استقرار
Abstract software specifications : 1979 Copenhagen Winter school : proceedings
1979: Denmark
Berlin
Springer-Verlag
1980
]xiii[, 566p.: ill
Lecture notes in computer science; 68
Proceedings of the Copenhagen Winter School on..., January 22 - February 2, 1979
Includes bibliographies
ISBN: 3540100075
edited by D. Bjorner
1
Congresses ، Computer programming
QA
76
.
L28
Vol
.
86
CA
QA
76
.
6
.
C656
1979
AU
AU Bjorner, Dines, 1937-
TI
SE
Copenhagen Winter School on Abstract Software Specifications
