题名:	程序设计语言的形式语义 / Glynn Winskel著 , 宋国新等译
ISBN:	7-111-13153-3 价格： CNY32.00
语种:	chi
载体形态:	283页图 26cm
出版发行:	出版地：北京出版社：机械工业出版社出版日期： 2004
主题词:	程序语言形式语义
中图分类法:	TP301.2 版次： 4
主要责任者:	温斯克尔著
次要责任者:	宋国新译
责任者附注:	责任者 (Winskel) 汉译姓取自在版编目: 温斯克尔