Communicating Sequential Processes 在線電子書 圖書標籤: CSP 計算機 Concurrency 計算機科學 並行編程理論 Formal_Methods CS-Theory 編程語言
發表於2025-02-11
Communicating Sequential Processes 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2025
Tony Hoare的書,和Milner的CCS一樣,堪稱經典
評分It's more interesting than you thought! Go for it mates!
評分又一個Turing Award Winner的著作--CSP。而且內容比我想象的平易近人,而且透齣一股樸素的哲學氣息。
評分It's more interesting than you thought! Go for it mates!
評分Tony Hoare的書,和Milner的CCS一樣,堪稱經典
Tony Hoare, Turing Award winner
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.
評分
評分
評分
評分
Communicating Sequential Processes 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2025