عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
6798
Dromey, R. G., 6491-
Program derivation : the development of programs from specifications
Sydney
Addison- Wesley
c1989
xvi, 630 p. :ill. ;24 cm
International computer science series
Includes bibliographical references.
، Electronic digital computers- Programming
005
.
1
QA
76
.
6
.
D77
1989
AU
Geoff Dromey
TI
