TY  - BOOK
A1  -  M. Main, A. Melton, M. Mislove ... [et al.], eds.
TI  - Mathematical foundations of programming semantics : 
PB  - مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی
SN  - 90113788
UR  /book/90113788/Mathematical-foundations-of-programming-semantics/
ER  -