عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.1422
QA
76
.
L28
Vol
.
1422
کتابخانه
محل استقرار
Mathematics of program construction : 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998 : proceedings
4th : 1998 : Marstrand, Sweden
Berlin
Springer- Verlag
c1998
x, 382 p.: ill
Lecture notes in computer science; 2241
Includes bibliographies
ISBN 3540645918
Johan Jeuring, )ed.(
1
Congresses ، Computer programming
Congresses ، Computer science -- Mathematics
QA
76
.
L28
Vol
.
1422
AU
AU Jeuring, Johan, 1965-
TI
SE
International Conference on the Mathematics of Program Construction
