形式语义学引论txt下载_周巢尘

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

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

阅读提示：形式语义学引论的作者是周巢尘，全书语言优美，行文流畅，内容丰富生动引人入胜。为表示对作者的支持，建议在阅读电子书的同时，购买纸质书。