عنوان
پدید آورنده
موضوع
رده
QA 76 .6 .M366 1989
QA
76
.
6
.
M366
1989
کتابخانه
محل استقرار
89337
آخر۲۷
English
)20(
Mathematics of program construction : 375th anniversary of the Groningen University : international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings
Berlin, New York
Springer-Verlag
1989
vi, 420 p. : ill. ; 25 cm
Lecture notes in computer science, 573
Papers presented at the Conference on Mathematics of Program Construction
Includes bibliographical references
، Electronic digital computers-- Programming-- Congresses
، Computer science-- Mathematics-- Congresses
QA
76
.
6
.
M366
1989
TI
J.L.A. van de Snepscheut )ed.(
AU tuehcspenS ed naV 1953-
CO Conference on Mathematics of Program Construction, Groningen, Netherlands(, )9891
SE
02
