TY - BOOK A1 - M. Main...]et al.[ )eds.( TI - Mathematical foundations of programming semantics, 5th international confernce, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989: proceedings PB - کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان SN - 104739107 UR /book/104739107/Mathematical-foundations-of-programming-semantics/ ER -