机读格式显示(MARC)

• 000 02221nam0 2200745 450

• 001 0000278992

• 005 20180411163600.0

• 010 __ |a 978-7-302-41494-0 |b 精装 |d CNY199.00

• 099 __ |a CAL 012017017835

• 100 __ |a 20170112d2017 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a afk a 001yy

• 106 __ |a r

• 200 1_ |a 计算系统的形式语义 |A ji suan xi tong de xing shi yu yi |d = Formal semantics of computing systems |h 上 |f 陆汝钤著 |z eng

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

• 215 __ |a xvii, 927页 |c 图 |d 24cm

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

• 320 __ |a 有书目 (第1655-1743页) 和索引

• 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

• 701 _0 |a 陆汝钤 |A lu ru qian |4 著

• 801 _0 |a CN |b TSU |c 20170103

• 905 __ |a XATU |d TP301.2/11-1

• 920 __ |a 211030 |z 1

• 920 __ |a 211010 |z 2

• 920 __ |a 244020 |z 1

• 920 __ |a 231030 |z 1

• 920 __ |a 261020 |z 1

• 920 __ |a 211060 |z 2

• 920 __ |a 242020 |z 2

• 920 __ |a 232020 |z 1

• 920 __ |a 231010 |z 1

• 920 __ |a 243160 |z 1

• 920 __ |a 221020 |z 1

• 920 __ |a 231280 |z 1

• 920 __ |a 261011 |z 1

• 920 __ |a 212020 |z 1

• 920 __ |a 237010 |z 1

• 920 __ |a 245010 |z 1

• 920 __ |a 232370 |z 1

• 920 __ |a 231020 |z 1

• 920 __ |a 232010 |z 1

• 920 __ |a 262010 |z 1

• 920 __ |a 261030 |z 1

• 920 __ |a 242010 |z 1

• 920 __ |a 222010 |z 1

• 920 __ |a 212010 |z 1

• 920 __ |a 211070 |z 1

• 920 __ |a 214010 |z 1

• 920 __ |a 211261 |z 1

• 920 __ |a 235010 |z 1

• 920 __ |a 261161 |z 1

• 920 __ |a 211260 |z 1

• 920 __ |a 244290 |z 1

• 920 __ |a 244010 |z 1

• 920 __ |a 251010 |z 1

• 920 __ |a 232090 |z 1

• 920 __ |a 215010 |z 1

• 920 __ |a 430102 |z 1

• 920 __ |a 244180 |z 1

• 998 __ |a TSU