书目信息

书名: 计算系统的形式语义上下 
作者: 陆汝钤
出版信息: 北京   清华大学出版社  2017.01
开本页数: 24cm  2册 (xvii, 1856页)
丛书名:
单 册:
中图分类: TP301.2 TP30
科图分类:
主题词: 形式语义--xing shi yu yi--研究
电子资源:
ISBN: 978-7-302-41494-0
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 @achi
102    @aCN@b110000
105    @aa a 001yy
200 @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 @aFormal semantics of computing systems@zeng
606 @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] 在馆     架位导航