圖書標籤: CSP 計算機 Concurrency 計算機科學 並行編程理論 Formal_Methods CS-Theory 編程語言
发表于2025-02-02
Communicating Sequential Processes pdf epub mobi txt 電子書 下載 2025
Communicating Sequential Processes, or CSP, is a language for describing patterns of interaction. It is supported by an elegant, mathematical theory, a set of proof tools, and an extensive literature. The book Communicating Sequential Processes was first published in 1985 by Prentice Hall International; it is an excellent introduction to the language, and also to the mathematical theory.
Tony Hoare, Turing Award winner
It's more interesting than you thought! Go for it mates!
評分CSP is definitely useful, but this book doesn't really explain how to use it.
評分Tony Hoare的書,和Milner的CCS一樣,堪稱經典
評分Tony Hoare的書,和Milner的CCS一樣,堪稱經典
評分Tony Hoare的書,和Milner的CCS一樣,堪稱經典
評分
評分
評分
評分
Communicating Sequential Processes pdf epub mobi txt 電子書 下載 2025