机读格式显示(MARC)

• 000 01657nam2 2200397 4500

• -01 __gzk0317701

• -09 __zyk0197754

• -98 __bm4

• -99 __tsg01

• 001 0000197729

• 005 20100628160502.5

• 010 __ |a 978-7-302-20725-2 |d CNY19.00

• 100 __ |a 20091113d2009 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a a a 000yy

• 106 __ |a r

• 200 1_ |a 通信与移动系统 |A tong xin yu yi dong xi tong |e π演算 |d = Communication and mobile systems |e theπ-calculus |f (英) Robin Milner著 |g 林惠民 ... [等] 译 |z eng

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

• 215 __ |a 160页 |c 图 |d 21cm

• 304 __ |a 责任者还有: 柳欣欣, 刘佳, 屈楠

• 306 __ |a 由Cambridge University Press授权出版

• 314 __ |a 责任者Milner规范汉译姓 : 米勒

• 320 __ |a 有书目 (第159-160页)

• 330 __ |a 通信是计算的—个基本的、不可缺少的部分。通信可能发生在网络上的不同计算机之间，也可能发生在同一合计算机的各个部件之间。在本书中，作者介绍了一种为通信建模的新方法，其特点是将计算机及其程序都看作由相互通信的部分所组成的。并发展了一个理论，即π演算。π演算是一个简单却又具有强大的表达能力的演算。在π演算中，对计算机程序中数据的移动与互联网上的消息（甚至是计算机程序)的传送的处理是完全相同的。

• 333 __ |a 该领域的专业人员和学生。

• 500 10 |a Communication and mobile systems : theπ-calculus |m Chinese

• 606 0_ |a 通信系统 |A tong xin xi tong |x 系统建模

• 690 __ |a TN914 |v 4

• 701 _1 |a 米勒 |A mi le |g (Milner, Robin) |4 著

• 702 _0 |a 林惠民 |A lin hui min |4 译

• 702 _0 |a 柳欣欣 |A liu xin xin |4 译

• 702 _0 |a 刘佳 |A liu jia |4 译

• 801 _0 |a CN |b 江苏新华 |c 20100628

• 905 __ |a ASTU |d TN914/18

• 915 __ |d TN914 |e 18 |b 1501628-9