TY  - BOOK
A1  - 
TI  - Mathematics of program construction :
PB  - كتابخانه مركزی و مركز اسناد دانشگاه مازندران
SN  - 92935312
UR  /book/92935312/Mathematics-of-program-construction/
ER  -