《通信与移动系统：π演算》由图灵奖获得者Robin Milner编著，中国科学院院士林惠民教授主译。通信是计算的—个基本的、不可缺少的部分。通信可能发生在网络上的不同计算机之间，也可能发生在同一合计算机的各个部件之间。在《通信与移动系统：π演算》中，作者介绍了一种为通信建模的新方法，其特点是将计算机及其程序都看作由相互通信的部分所组成的。并发展了一个理论，即π演算。π演算是一个简单却又具有强大的表达能力的演算。在π演算中，对计算机程序中数据的移动与互联网上的消息（甚至是计算机程序)的传送的处理是完全相同的。
《通信与移动系统：π演算》是关于π演算的第一本教科书，它的出版是该领域的专业人员和学生所期待已久的盛事。
具体描述
读后感
这本书入门可以，再看几篇形式化建模的论文差不多就可以使用pi演算进行简单的建模。关键只有这一本关于pi演算的中文版的书，其实The pi-calculus a Theory of Mobile Processes这本书更好，相对上本的入门而言，这本算是进阶，目前木有中文版。 想要深入学习pi演...
评分这本书入门可以，再看几篇形式化建模的论文差不多就可以使用pi演算进行简单的建模。关键只有这一本关于pi演算的中文版的书，其实The pi-calculus a Theory of Mobile Processes这本书更好，相对上本的入门而言，这本算是进阶，目前木有中文版。 想要深入学习pi演...
评分这本书入门可以，再看几篇形式化建模的论文差不多就可以使用pi演算进行简单的建模。关键只有这一本关于pi演算的中文版的书，其实The pi-calculus a Theory of Mobile Processes这本书更好，相对上本的入门而言，这本算是进阶，目前木有中文版。 想要深入学习pi演...
评分这本书入门可以，再看几篇形式化建模的论文差不多就可以使用pi演算进行简单的建模。关键只有这一本关于pi演算的中文版的书，其实The pi-calculus a Theory of Mobile Processes这本书更好，相对上本的入门而言，这本算是进阶，目前木有中文版。 想要深入学习pi演...
评分这本书入门可以，再看几篇形式化建模的论文差不多就可以使用pi演算进行简单的建模。关键只有这一本关于pi演算的中文版的书，其实The pi-calculus a Theory of Mobile Processes这本书更好，相对上本的入门而言，这本算是进阶，目前木有中文版。 想要深入学习pi演...
用户评价
fuck！你坑了我的研究生生活啊。。。
评分只想说米勒的书实在是太抽象了。
评分只想说米勒的书实在是太抽象了。
评分很霸气
评分只想说米勒的书实在是太抽象了。
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有