TY  - BOOK
A1  - / Eerke A. Boiten, Bernhard M?�ller (eds.)
TI  - Mathematics of program construction
PB  - كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران
SN  - 103400057
UR  /book/103400057/Mathematics-of-program-construction/
ER  -