作品介绍

形式语义学引论

作者：周巢尘整理日期：2018-11-12 10:04:27

　　《形式语义学引论（第二版）》为形式语义学入门参考书，简单介绍程序的操作语义、指称语义和公理语义。《形式语义学引论（第二版）》共7章：第1章介绍操作语义，第2章介绍指称语义，第3章介绍公理语义，第4介绍过程调用的形式语义，第5章介绍非确定程序的形式语义，第6章介绍并发程序的形式语义，第7章介绍程序的时态语义。
　　计算机科学与技术、软件工程等专业的教师、研究生，相关领域的科研和工程技术人员

→ 形式语义学引论下载地址 ←

上一本：发现心智模式

下一本：勇敢的新宝莱坞

作家文集

☆ 豆豆作品集	☆ 林清玄作品集	☆ 江河作品集
☆ 李碧华作品集	☆ 林海音作品集	☆ 马原作品集
☆ 高晓声作品集	☆ 蒋子龙作品集	☆ 刘绍棠作品集
☆ 周立波作品集	☆ 亦舒作品集	☆ 闫红作品集
☆ 祝勇作品集	☆ 周晓枫作品集	☆ 石一枫作品集
☆ 张广天作品集	☆ 蒋蓝作品集	☆ 李亚伟作品集
☆ 王小波作品集	☆ 木心作品集	☆ 鲁迅作品集
☆ 叶圣陶作品集	☆ 张爱玲作品集	☆ 沈从文作品集
☆ 老舍作品集	☆ 巴金作品集	☆ 曹禺作品集
☆ 钱钟书作品集	☆ 汪曾祺作品集	☆ 徐志摩作品集