TY  - BOOK
A1  - Ernest G. Manes, Michael A. Arbib
TI  - Algebraic approaches to program semantics
PB  - کتابخانه پژوهشگاه دانشهای بنیادی
SN  - 101372569
UR  /book/101372569/Algebraic-approaches-to-program-semantics/
ER  -