TY  - BOOK
A1  - / Ernest G. Manes, Michael A. Arbib
TI  - Algebraic approaches to program semantics
PB  - كتابخانه پردیس علوم (دانشگاه تهران)
SN  - 100997375
UR  /book/100997375/Algebraic-approaches-to-program-semantics/
ER  -