Communicating Sequential Processes pdf epub mobi txt 电子书 下载 2024


Communicating Sequential Processes

简体网页||繁体网页
C.A.R. Hoare
Prentice Hall
1985-4-1
256
$34.95
Hardcover
Prentice Hall International Series in Computer Science
9780131532717

图书标签: CSP  计算机  Concurrency  计算机科学  并行编程理论  Formal_Methods  CS-Theory  编程语言   


喜欢 Communicating Sequential Processes 的读者还喜欢




点击这里下载
    


想要找书就要到 小哈图书下载中心
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-11-08

Communicating Sequential Processes epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024

Communicating Sequential Processes epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024

Communicating Sequential Processes pdf epub mobi txt 电子书 下载 2024



图书描述

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 下载 mobi epub pdf txt 电子书

著者简介

Tony Hoare, Turing Award winner


图书目录


Communicating Sequential Processes pdf epub mobi txt 电子书 下载
想要找书就要到 小哈图书下载中心
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

用户评价

评分

Tony Hoare的书,和Milner的CCS一样,堪称经典

评分

Tony Hoare的书,和Milner的CCS一样,堪称经典

评分

Tony Hoare的书,和Milner的CCS一样,堪称经典

评分

又一个Turing Award Winner的著作--CSP。而且内容比我想象的平易近人,而且透出一股朴素的哲学气息。

评分

Tony Hoare的书,和Milner的CCS一样,堪称经典

读后感

评分

评分

评分

评分

评分

类似图书 点击查看全场最低价

Communicating Sequential Processes pdf epub mobi txt 电子书 下载 2024


分享链接









相关图书




本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

友情链接

© 2024 qciss.net All Rights Reserved. 小哈图书下载中心 版权所有