TY  - BOOK
A1  - 
TI  - Logic-Based Program Synthesis and Transformation
PB  - کتابخانه زبانهای خارجی و منابع اسلامی
SN  - 88378914
UR  /book/88378914/LogicBased-Program-Synthesis-and-Transformation/
ER  -