000
|
01130nam0 2200277 450
|
001
|
1735736232
|
005
|
20170928095744.07
|
010
|
|
@a978-7-302-41494-0@b精装@dCNY 398.00
|
092
|
|
@b4
|
100
|
|
@a20170204d2017 em y0chiy50 ea
|
101
|
0
|
@achi
|
102
|
|
@aCN@b110000
|
105
|
|
@aa a 001yy
|
200
|
1
|
@a计算系统的形式语义@Aji suan xi tong de xing shi yu yi@d= Formal semantics of computing systems@h上下@f陆汝钤著@zeng
|
210
|
|
@a北京@c清华大学出版社@d2017.01
|
215
|
|
@a2册 (xvii, 1856页)@c图@d24cm
|
300
|
|
@a国家科学技术学术著作出版基金
|
320
|
|
@a有书目 (第1655-1743页) 和索引
|
330
|
|
@a本书大体上分为三个部分。第一部分是数学基础, 为第一章。第二部分包括第二到第五章, 概述了形式语义中的操作语义、指称语义、公理语义和代数语义四大经典流派。第三部分包括第六到第九章, 概述了形式语义学的现代应用, 分别介绍分布式系统、移动计算和移动通信系统等形式语义。
|
510
|
1
|
@aFormal semantics of computing systems@zeng
|
606
|
0
|
@a形式语义@Axing shi yu yi@x研究
|
690
|
|
@aTP301.2@v5
|
690
|
|
@aTP30@v4
|
701
|
0
|
@a陆汝钤@Alu ru qian@4著
|
801
|
0
|
@aCN@bHNYZ@c20170928
|
905
|
|
@aZUCC@dTP30@e10
|
|
|
|
|
计算系统的形式语义= Formal semantics of computing systems.上下/陆汝钤著.-北京:清华大学出版社,2017.01 |
2册 (xvii, 1856页):图;24cm |
国家科学技术学术著作出版基金 |
|
ISBN 978-7-302-41494-0(精装):CNY 398.00 |
本书大体上分为三个部分。第一部分是数学基础, 为第一章。第二部分包括第二到第五章, 概述了形式语义中的操作语义、指称语义、公理语义和代数语义四大经典流派。第三部分包括第六到第九章, 概述了形式语义学的现代应用, 分别介绍分布式系统、移动计算和移动通信系统等形式语义。 |
● |
正题名:计算系统的形式语义
索取号:TP30/10
 
预约/预借
序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
1
|
628430
|
202628430
|
样本书库/
[索取号:TP30/10]
|
在馆
|
架位导航
|
2
|
628431
|
202628431
|
样本书库/
[索取号:TP30/10]
|
在馆
|
架位导航
|
3
|
628432
|
202628432
|
文艺社科书库/
[索取号:TP30/10]
|
在馆
|
架位导航
|
4
|
628433
|
202628433
|
文艺社科书库/
[索取号:TP30/10]
|
在馆
|
架位导航
|