图书标签: concurrency Programming 并行程序设计 同步,分布式,Programming parallel DistributedSystem 计算机 并行
发表于2024-11-22
Principles of Concurrent and Distributed Programming pdf epub mobi txt 电子书 下载 2024
The book focuses on algorithmic principles rather than language syntax with an emphasis on the use of the Spin model checker for modeling concurrent systems and verifying program correctness and includes and explains the implementation of concurrency in the Java and Ada languages. It also helps to facilitate lab work with software tools for learning concurrent and distributed programming. --- Amazon.com
The book is very theoretical about concurrent programming, but a little too theoretical. 如果能结合更多实例会更利于理解。(不过从理论的角度讲,5星,本来这书就不是讲实现的)
评分太简略了
评分太简略了
评分太简略了
评分The book is very theoretical about concurrent programming, but a little too theoretical. 如果能结合更多实例会更利于理解。(不过从理论的角度讲,5星,本来这书就不是讲实现的)
评分
评分
评分
评分
Principles of Concurrent and Distributed Programming pdf epub mobi txt 电子书 下载 2024