登入帳戶　 |　訂單查詢　 |　購物車/收銀台( 0 )　|　在線留言板　 |　付款方式　 |　運費計算　 |　聯絡我們　 |　幫助中心　|　 加入書簽
會員登入 新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類瀏覽雜誌 臺灣用戶
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 服務：香港／台灣／澳門／海外 送貨：速遞／郵局／服務站

新書上架：簡體書 繁體書
暢銷書架：簡體書 繁體書
好書推介：簡體書 繁體書

八月出版：大陸書 台灣書
七月出版：大陸書 台灣書
六月出版：大陸書 台灣書
五月出版：大陸書 台灣書
四月出版：大陸書 台灣書
三月出版：大陸書 台灣書
二月出版：大陸書 台灣書
一月出版：大陸書 台灣書
12月出版：大陸書 台灣書
11月出版：大陸書 台灣書
十月出版：大陸書 台灣書
九月出版：大陸書 台灣書
八月出版：大陸書 台灣書
七月出版：大陸書 台灣書
六月出版：大陸書 台灣書

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

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

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

售價：HK$ 98.6

我要買 件

 

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

新書推薦：
《你的名字。》美术画集
《 《你的名字。》美术画集 》
售價：HK$ 124.2
北齐书（点校本二十四史修订本 全2册）
《 北齐书（点校本二十四史修订本 全2册） 》
售價：HK$ 170.2
美丽的地球：高山（呈现世界70余座宏伟高山，感受世界的起伏）
《 美丽的地球：高山（呈现世界70余座宏伟高山，感受世界的起伏） 》
售價：HK$ 112.7
下一个风口：新质生产力驱动下的科创投资逻辑
《 下一个风口：新质生产力驱动下的科创投资逻辑 》
售價：HK$ 80.4
傻钱：社交浪潮与散户革命
《 傻钱：社交浪潮与散户革命 》
售價：HK$ 78.2
猎头高情商沟通实务
《 猎头高情商沟通实务 》
售價：HK$ 56.4
桃花夭夭，灼一世芳华：古代蕙心女子的诗情词韵
《 桃花夭夭，灼一世芳华：古代蕙心女子的诗情词韵 》
售價：HK$ 48.3
生活在低处
《 生活在低处 》
售價：HK$ 64.4

 
建議一齊購買：

+

HK$ 84.1
《原版现代语言学丛书：语义学 第二版》
編輯推薦：
计算机科学与技术、软件工程等专业的教师、研究生，相关领域的科研和工程技术人员
內容簡介：
《形式语义学引论（第二版）》为形式语义学入门参考书，简单介绍程序的操作语义、指称语义和公理语义。《形式语义学引论（第二版）》共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.hk
Copyright © 2013 - 2024 （香港）大書城有限公司　 All Rights Reserved.