TY  - BOOK
A1  - \ Ralf Hinze , Janis Voigtländer (Eds.)
TI  - Mathematics of Program Construction
PB  - کتابخانه زبانهای خارجی و منابع اسلامی
SN  - 88357476
UR  /book/88357476/Mathematics-of-Program-Construction/
ER  -