程序设计语言的形式语义

Main Authors: 温斯克尔 G. (Glynn Winskel著); Winskel Glynn
Group Author: 宋国新 (译); 邵志清 (译); 潘俊 (译); 孙霖 (译)
Published: 机械工业出版社 中信出版社
Publication Dates: 2004
Call Number: TP301.2/3144