| 图书 | 通信与移动系统(π演算) |
| 内容 | 编辑推荐 本书由图灵奖获得者Robin Milner编著，中国科学院院士林惠民教授主译。 通信是计算的—个基本的、不可缺少的部分。通信可能发生在网络上的不同计算机之间，也可能发生在同一合计算机的各个部件之间。在本书中，作者介绍了一种为通信建模的新方法，其特点是将计算机及其程序都看作由相互通信的部分所组成的。并发展了一个理论，即π演算。π演算是一个简单却又具有强大的表达能力的演算。在π演算中，对计算机程序中数据的移动与互联网上的消息（甚至是计算机程序)的传送的处理是完全相同的。 本书是关于π演算的第一本教科书，它的出版是该领域的专业人员和学生所期待已久的盛事。 目录 术语表 序言 第一部分 通信系统 第1章 引论 第2章 自动机的行为 第3章 顺序进程和互模拟 第4章 并发进程与交互 第5章 迁移和强等价 第6章 观察等价：理论 第7章 观察等价：例子 第二部分 π-演算 第8章 论移动性 第9章 π-演算与交互 参考文献 |
| 标签 | |
| 缩略图 |  |
| 书名 | 通信与移动系统(π演算) |
| 副书名 | |
| 原作名 | |
| 作者 | (英)米勒 |
| 译者 | 林惠民//柳欣欣//刘佳//屈楠 |
| 编者 | |
| 绘者 | |
| 出版社 | 清华大学出版社 |
| 商品编码（ISBN） | 9787302207252 |
| 开本 | 32开 |
| 页数 | 160 |
| 版次 | 1 |
| 装订 | 平装 |
| 字数 | 176 |
| 出版时间 | 2009-10-01 |
| 首版时间 | 2009-10-01 |
| 印刷时间 | 2009-10-01 |
| 正文语种 | 汉 |
| 读者对象 | 青年(14-20岁),普通成人 |
| 适用范围 | |
| 发行范围 | 公开发行 |
| 发行模式 | 实体书 |
| 首发网站 | |
| 连载网址 | |
| 图书大类 | 科学技术-工业科技-电子通讯 |
| 图书小类 | |
| 重量 | 0.192 |
| CIP核字 | |
| 中图分类号 | TN914 |
| 丛书名 | |
| 印张 | 5.625 |
| 印次 | 1 |
| 出版地 | 北京 |
| 长 | 208 |
| 宽 | 146 |
| 高 | 10 |
| 整理 | |
| 媒质 | 图书 |
| 用纸 | 普通纸 |
| 是否注音 | 否 |
| 影印版本 | 原版 |
| 出版商国别 | CN |
| 是否套装 | 单册 |
| 著作权合同登记号 | 图字01-2009-3655号 |
| 版权提供者 | Cambridge University |
| 定价 | |
| 印数 | 2500 |
| 出品方 | |
| 作品荣誉 | |
| 主角 | |
| 配角 | |
| 其他角色 | |
| 一句话简介 | |
| 立意 | |
| 作品视角 | |
| 所属系列 | |
| 文章进度 | |
| 内容简介 | |
| 作者简介 | |
| 目录 | |
| 文摘 | |
| 安全警示 | 适度休息有益身心健康，请勿长期沉迷于阅读小说。 |
| 随便看 |
|
兰台网图书档案馆全面收录古今中外各种图书，详细介绍图书的基本信息及目录、摘要等图书资料。