具體描述
《通信與移動係統：π演算》由圖靈奬獲得者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.quotespace.org All Rights Reserved. 小美書屋 版权所有