《通信與移動係統:π演算》由圖靈奬獲得者Robin Milner編著,中國科學院院士林惠民教授主譯。通信是計算的—個基本的、不可缺少的部分。通信可能發生在網絡上的不同計算機之間,也可能發生在同一閤計算機的各個部件之間。在《通信與移動係統:π演算》中,作者介紹瞭一種為通信建模的新方法,其特點是將計算機及其程序都看作由相互通信的部分所組成的。並發展瞭一個理論,即π演算。π演算是一個簡單卻又具有強大的錶達能力的演算。在π演算中,對計算機程序中數據的移動與互聯網上的消息(甚至是計算機程序)的傳送的處理是完全相同的。
《通信與移動係統:π演算》是關於π演算的第一本教科書,它的齣版是該領域的專業人員和學生所期待已久的盛事。
發表於2025-03-24
通信與移動係統 2025 pdf epub mobi 電子書 下載
這本書入門可以,再看幾篇形式化建模的論文差不多就可以使用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演...
圖書標籤: Pi演算 計算機 圖靈奬 分布式與並行 數學 人工智能 計算理論 計算機科學
隻想說米勒的書實在是太抽象瞭。
評分很霸氣
評分隻想說米勒的書實在是太抽象瞭。
評分很霸氣
評分很霸氣
通信與移動係統 2025 pdf epub mobi 電子書 下載