عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.2297
QA
76
.
L28
Vol
.
2297
کتابخانه
محل استقرار
Algebraic and coalgebraic methods in the mathematics of program construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, revised lectures
2000 : University of Oxford
Berlin
Springer-Verlag
c2002
xiv, 385 p.: ill
Lecture notes in computer science; 7922
Includes bibliographies
ISBN: 3540436138
Roland Backhouse, Roy Crole, Jeremy Gibbons, )eds.(
1
Congresses ، Computer programming
Congresses ، Computer science -- Mathematics
Congresses ، Algebra
QA
76
.
L28
Vol
.
2297
AU
AU Backhouse, Roland C., 1948-
AU Crole, Roy L.
AU Gibbons, Jeremy, 1966-
TI
SE
School on Algebraic and Co-algebraic Methods in the Mathematics of Program Construction
