文件名称：semanticAll程序语义学入门
文件大小：2.69MB
文件格式：PDF
更新时间：2014-01-01 04:16:43
semanticAll 程序语义学
相关的关于形式语义学的书籍都是英文版的，现在将一中文版的形式语义学讲义上传，共分享。
semanticAll程序语义学入门
【文件属性】：
网友评论
- 非常适合初学者的参考资料，但是有部分内容不全，比如支撑语义部分，关于指称语义与结构操作语义的等价性证明被省略了
- 非常棒的中文资料，对照英文文献看轻松很多