| ISBN/价格: | 978-7-302-20725-2:CNY19.00 |
|---|---|
| 作品语种: | chi eng |
| 出版国别: | CN 110000 |
| 题名责任者项: | 通信与移动系统/.(英) Robin Milner著/.林惠民 ... [等] 译 |
| 出版发行项: | 北京:,清华大学出版社:,2009 |
| 载体形态项: | 160页:;+图:;+21cm |
| 提要文摘: | 通信是计算的—个基本的、不可缺少的部分。通信可能发生在网络上的不同计算机之间,也可能发生在同一合计算机的各个部件之间。在本书中,作者介绍了一种为通信建模的新方法,其特点是将计算机及其程序都看作由相互通信的部分所组成的。并发展了一个理论,即π演算。π演算是一个简单却又具有强大的表达能力的演算。在π演算中,对计算机程序中数据的移动与互联网上的消息(甚至是计算机程序)的传送的处理是完全相同的。 |
| 题名主题: | 通信系统 系统建模 |
| 中图分类: | TN914 |
| 中图分类: | TN914 |
| 个人名称等同: | 米勒 著 |
| 个人名称次要: | 林惠民 译 |
| 个人名称次要: | 柳欣欣 译 |
| 个人名称次要: | 刘佳 译 |
| 记录来源: | CN 江苏新华 20100419 |
| 电子图书: | 阅读地址 |