عنوان
پدید آورنده
موضوع
رده
QA 76 .76 .D47 .P766 1993
QA
76
.
76
.
D47
.
P766
1993
کتابخانه
محل استقرار
103558
بهار۴۷
English
)20(
Program development by specification and transformation : the PROSPECTRA methodology, language family, and system
Berlin
Springer-Verlag
c1993
xiv, 623 p. : ill. ; 24 cm
Lecture notes in computer science; 086
Includes bibliographical references )p. ]589[-612( and indexes
، Computer software-- Development
QA
76
.
76
.
D47
.
P766
1993
TI
Berthold Hoffmann, Bernd Krieg-Bruckner, eds
AU dlohtreB ,nnamffoH 1953-
AU (dnreB).B ,renkcurB-geirK
SE
02
