程序设计语言的形式语义•短评

书名： 程序设计语言的形式语义
作者： Glynn Winskel
出版社： 中信出版社 机械工业出版社
原作名： The Formal Semantics of Programming Languages
译者： 宋国新
出版年： 2004-1
页数： 283
定价： 32.00元
装帧： 平装
丛书： 计算机科学丛书
ISBN： 9787111131533