買這商品的人也買了...
-
$480$432 -
$980$980 -
$890$703 -
$780$616 -
$520$406 -
$780$616 -
$2,390$2,271 -
$480$379 -
$2,350$2,233 -
$520$411 -
$580$458 -
$420$328 -
$480$408 -
$560$437 -
$100$95 -
$780$616 -
$450$356 -
$490$387 -
$1,100$1,078 -
$580$452 -
$490$417 -
$490$441 -
$560$442 -
$1,700$1,700 -
$4,620$4,389
商品描述
Starting from the premise that understanding the foundations of concurrent programming is key to developing distributed computing systems, this book first presents the fundamental theories of concurrent computing and then introduces the programming languages that help develop distributed computing systems at a high level of abstraction. The major theories of concurrent computation -- including the p-calculus, the actor model, the join calculus, and mobile ambients -- are explained with a focus on how they help design and reason about distributed and mobile computing systems. The book then presents programming languages that follow the theoretical models already described, including Pict, SALSA, and JoCaml. The parallel structure of the chapters in both part one (theory) and part two (practice) enable the reader not only to compare the different theories but also to see clearly how a programming language supports a theoretical model. The book is unique in bridging the gap between the theory and the practice of programming distributed computing systems. It can be used as a textbook for graduate and advanced undergraduate students in computer science or as a reference for researchers in the area of programming technology for distributed computing. By presenting theory first, the book allows readers to focus on the essential components of concurrency, distribution, and mobility without getting bogged down in syntactic details of specific programming languages. Once the theory is understood, the practical part of implementing a system in an actual programming language becomes much easier.
商品描述(中文翻譯)
從理解並發程式設計基礎的重要性出發,本書首先介紹並發計算的基本理論,然後引入有助於在高抽象層次上開發分散式計算系統的程式語言。本書解釋了並發計算的主要理論,包括 p-calculus、actor model、join calculus 和 mobile ambients,重點在於這些理論如何幫助設計和推理分散式及移動計算系統。接著,本書介紹了遵循已描述理論模型的程式語言,包括 Pict、SALSA 和 JoCaml。第一部分(理論)和第二部分(實踐)章節的平行結構使讀者不僅能夠比較不同的理論,還能清楚地看到程式語言如何支持理論模型。本書獨特之處在於彌合了分散式計算系統程式設計的理論與實踐之間的鴻溝。它可以作為計算機科學研究生和高年級本科生的教科書,或作為分散式計算程式設計技術領域研究人員的參考資料。通過首先呈現理論,本書使讀者能夠專注於並發性、分散性和移動性的基本組成部分,而不會被特定程式語言的語法細節所困擾。一旦理解了理論,實際在某個程式語言中實現系統的實踐部分就變得容易得多。