عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.755
QA
76
.
L28
Vol
.
755
کتابخانه
محل استقرار
Formal program development : IFIP TC 2/WG 2.1 state of the art report
Berlin
Springer-Verlag
c1993
]iii[, 371p.: ill., tables
Lecture notes in computer science; 557
Includes bibliographies
ISBN: 3540574999
Bernhard Moller, Helmut Partsch, Steve Schuman, )eds.(
1
، Computer software -- Development
، Computer programming
QA
76
.
L28
Vol
.
755
TI
AU Moller, Bernhard, 1953-
AU Partsch, Helmut A., 1950-
AU Schuman, Steve, 1950-
CO International Federation for Information Processing
SE
