机读格式显示(MARC)

• 000 01156nam0 2200277 450

• 001 0000547248

• 005 20201111095800.0

• 010 __ |a 978-7-302-41494-0 |b 精装 |d CNY398.00(全2册)

• 100 __ |a 20170116d2017 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a a z 001yy

• 106 __ |a r

• 200 1_ |a 计算系统的形式语义 |A Ji Suan Xi Tong Di Xing Shi Yu Yi |9 ji suan xi tong de xing shi yu yi |d Formal semantics of computing systems |f 陆汝钤著 |z eng

• 210 __ |a 北京 |c 清华大学出版社 |d 2017.01

• 215 __ |a 2册(17,1856页) |c 图 |d 24cm

• 300 __ |a 国家科学技术学术著作出版基金

• 330 __ |a 本书大体上分为三个部分。第一部分是数学基础，为第一章。第二部分包括第二到第五章，概述了形式语义中的操作语义、指称语义、公理语义和代数语义四大经典流派。第三部分包括第六到第九章，概述了形式语义学的现代应用，分别介绍分布式系统、移动计算和移动通信系统等形式语义。

• 333 __ |a 一般读者

• 510 1_ |a Formal semantics of computing systems |z eng

• 606 0_ |a 形式语义 |A Xing Shi Yu Yi |x 研究

• 690 __ |a TP301.2 |v 5

• 690 __ |a TP301 |v 4

• 701 _0 |a 陆汝钤 |A Lu Ru Qian |9 lu ru qian |4 著

• 801 _0 |a CN |b 南京国图 |c 20170119

• 905 __ |a WXCSXY |d TP301/94