《形式语义学引论（第二版）》 - 台灣·大書城 - 周巢尘，詹乃军 - 科学出版社

	登入帳戶　 \|　訂單查詢　 \|　購物車/收銀台(0)　\|　在線留言板　 \|　付款方式　 \|　聯絡我們　 \|　運費計算　 \|　幫助中心　\|　加入書簽
		會員登入新用戶註冊

HOME

新書上架

暢銷書架

好書推介

2024年度TOP

香港／國際用戶

最新/最熱/最齊全的簡體書網

品種：超過100萬種書，正品正价，放心網購，悭钱省心

送貨：速遞 / 物流，時效：出貨後2-4日

『簡體書』形式语义学引论（第二版）

書城自編碼： 3075946
分類：簡體書→大陸圖書→社會科學→語言文字
作者：周巢尘，詹乃军
國際書號(ISBN)： 9787030533838
出版社：科学出版社
出版日期： 2017-10-01
版次： 1

書度/開本： B5 釘裝：平脊精装

售價：NT$ 490

我要買件

** 我創建的書架 **
未登入.

新書推薦：

《当代前沿社会理论十讲》
售價：NT$ 500.0

《诸王的不列颠：从罗马帝国时代到联合王国的2000年》
售價：NT$ 959.0

《论人类的教育》
售價：NT$ 500.0

《人民币与国际货币体系变迁》
售價：NT$ 454.0

《哈佛大学科学通识课：探索宇宙、地球与生命》
售價：NT$ 509.0

《还可以的金女士（小镇女孩误入时尚圈血泪史）》
售價：NT$ 245.0

《王阳明全集（套装5册）》
售價：NT$ 1367.0

《萤火虫全球史：西方战争史上的著名战斗机》
售價：NT$ 388.0

建議一齊購買：

NT$ 418
《原版现代语言学丛书：语义学第二版》

編輯推薦：

计算机科学与技术、软件工程等专业的教师、研究生，相关领域的科研和工程技术人员

內容簡介：

《形式语义学引论（第二版）》为形式语义学入门参考书，简单介绍程序的操作语义、指称语义和公理语义。《形式语义学引论（第二版）》共7章：第1章介绍操作语义，第2章介绍指称语义，第3章介绍公理语义，第4介绍过程调用的形式语义，第5章介绍非确定程序的形式语义，第6章介绍并发程序的形式语义，第7章介绍程序的时态语义。

目录
再版说明
前言
第1章操作语义学 1
1.1 引言 1
1.2 FLOW语言 2
1.3 栈-状态-控制机器 3
1.4 程序的计算 7
1.5 归约关系 9
1.6 Com=com 13
1.7 AFLOW的操作语义 14
1.8 操作语义发展动态 15
参考文献 16
第2章指称语义学 17
2.1 引言 17
2.2 FLOW的指称语义 18
2.3 完全偏序集和连续函数 20
2.4连续算子 25
2.5 不动点 29
2.6 例 33
2.7 FLOW的指称语义（续） 37
2.8 操作语义与指称语义的一致性 38
2.9 AFLOW的指称语义 41
2.10 指称语义发展动态 42
参考文献 43
第3章公理语义学 45
3.1 引言 45
3.2 霍尔系统 45
3.3 形的可靠性Soundness 51
3.4 男的完备性Completeness 52
3.5 可表达性Expressiveness 54
3.6 彩的相对完备性 58
3.7 公理语义发展动态 60
参考文献 61
第4章过程调用 63
4.1 引言 63
4.2 PFLOW的操作语义 64
4.3 PFLOW的指称语义 69
4.4 PFLOW的公理语义 76
第5章非确定性 82
5.1 引言 82
5.2 GCL的操作语义 84
5.3 GCL的指称语义 89
5.4 *弱前置条件 96
参考文献 105
第6章并发性 106
6.1 引言 106
6.2 CSP语言 106
6.3 CSP的操作语义 111
6.4 CSP向指称语义 120
6.5 CSP陶公理语义 124
6.6 并发理论发展动态 129
参考文献 130
第7章时态语义 132
7.1 引言 132
7.2 时态逻辑 133
7.3 时态语义 136
7.4 基本性质 139
7.5 程序描述 141
7.6 程序推理 143
7.7 时态语义发展动态 148
参考文献 149

書城介紹　 \|　合作申請　\|　索要書目　 \|　新手入門　\|　聯絡方式　 \|　幫助中心　\|　找書說明　 \|　送貨方式　\|　付款方式	台灣用户　\|　香港/海外用户

megBook.com.tw
Copyright (C) 2013 - 2025 （香港）大書城有限公司　All Rights Reserved.