《形式語義學引論（第二版）》是2016年科學出版社出版的圖書，作者是周巢塵。
基本介紹
- 中文名：形式語義學引論（第二版）
- 作者：周巢塵
- ISBN：9787030533838
- 定價：￥68.00
- 出版社：科學出版社
- 出版時間：2017-09
- 裝幀：精裝
- 開本：16
內容簡介,圖書目錄,
內容簡介
《形式語義學引論（第二版）》為形式語義學入門參考書，簡單介紹程式的操作語義、指稱語義和公理語義。《形式語義學引論（第二版）》共7章：第1章介紹操作語義，第2章介紹指稱語義，第3章介紹公理語義，第4介紹過程調用的形式語義，第5章介紹非確定程式的形式語義，第6章介紹並發程式的形式語義，第7章介紹程式的時態語義。
圖書目錄
再版說明
前言
第1章操作語義學
第2章指稱語義學
第3章公理語義學
第4章過程調用
第5章非確定性
第6章並發性
第7章時態語義
