The Pi-Calculus 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2025
簡體網頁||繁體網頁
The Pi-Calculus 在線電子書 圖書標籤: 計算機 計算機科學 Pi演算 Formalism 計算機 科研 數學 分布式與並行
喜歡 The Pi-Calculus 在線電子書 的讀者還喜歡
下載連結1
下載連結2
下載連結3
發表於2025-06-03
The Pi-Calculus 在線電子書 epub 下載 mobi 下載 pdf 下載 txt 下載 2025
The Pi-Calculus 在線電子書 epub 下載 pdf 下載 mobi 下載 txt 下載 2025
The Pi-Calculus 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2025
The Pi-Calculus 在線電子書 用戶評價
深入學習pi演算
評分深入學習pi演算
評分如何買到這本書
評分如何買到這本書
評分如何買到這本書
The Pi-Calculus 在線電子書 著者簡介
The Pi-Calculus 在線電子書 著者簡介
The Pi-Calculus 在線電子書 pdf 下載 txt下載 epub 下載 mobi 在線電子書下載
The Pi-Calculus 在線電子書 圖書描述
Mobile systems, whose components communicate and change their structure, now pervade the informational world and the wider world of which it is a part. The science of mobile systems is as yet immature, however. This book presents the pi-calculus, a theory of mobile systems. The pi-calculus provides a conceptual framework for understanding mobility, and mathematical tools for expressing systems and reasoning about their behaviours. The book serves both as a reference for the theory and as an extended demonstration of how to use pi-calculus to describe systems and analyse their properties. It covers the basic theory of pi-calculus, typed pi-calculi, higher-order processes, the relationship between pi-calculus and lambda-calculus, and applications of pi-calculus to object-oriented design and programming. The book is written at the graduate level, assuming no prior acquaintance with the subject, and is intended for computer scientists interested in mobile systems.
The Pi-Calculus 在線電子書 讀後感
評分
評分
評分
評分
The Pi-Calculus 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2025
分享鏈接
The Pi-Calculus 在線電子書 相關圖書
-
Understanding Scientific Reasoning 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載 -
著名病毒學傢李河民論文集 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
學術規範讀本 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
蛋白質結構導論 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
課堂教學的變革與創新 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
化工原理 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
傑齣科技人纔的成長曆程 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
Synthesizing Research : A Guide for Literature Reviews (Applied Social Research Methods) 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
教育科學研究方法 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
電子學辭典(平) 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
中國商品期貨市場實證研究:價格特徵運行效率和投資者行為 (平裝) 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
新編實用電液比例技術 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
培訓管理工具箱 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
係統動力學在財務管理中的應用 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
海洋地質學概論 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
化工節能原理與技術 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
圖書館利用技能與實務 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
勝任能力模型設計與應用 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
掃描電鏡技術及其應用 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
英語科技論文寫作精要 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
