TY  - BOOK
A1  - R.S. Bird, C.C. Morgan, J.C.P. Woodcock, )eds.(
TI  - Mathematics of program construction : Second International Conference, Oxford, U.K., June/ July 1992 : processing
PB  - کتابخانه پژوهشگاه دانشهای بنیادی
SN  - 101373716
UR  /book/101373716/Mathematics-of-program-construction-Second-Inter/
ER  -