作者：周巢尘
类别：社科电子书
关键词：形式语义学引论
整理日期：2018-11-12 10:04:27
下载地址： 本地下载 网友上传
作品导读
《形式语义学引论（第二版）》为形式语义学入门参考书，简单介绍程序的操作语义、指称语义和公理语义。《形式语义学引论（第二版）》共7章：第1章介绍操作语义，第2章介绍指称语义，第3章介绍公理语义，第4介绍过程调用的形式语义，第5章介绍非确定程序的形式语..
形式语义学引论的作者是周巢尘。本站已与多数网站、公司和作者建立版权共享协议，若您发现您拥有版权的作品未与本站授权，请及时联系我们，我们会立刻处理。