Process Algebra pdf epub mobi txt 电子书 下载 2025
出版者:Cambridge University Press
作者:J. C. M. Baeten
出品人:
页数:256
译者:
出版时间:1990-10-26
价格:USD 180.00
装帧:Hardcover
isbn号码:9780521400435
丛书系列:
图书标签:
- concurrency
- Process Algebra
- Formal Methods
- Concurrency
- Petri Nets
- CCS
- CSP
- π-Calculus
- Model Checking
- Verification
- Theoretical Computer Science
下载链接在页面底部
具体描述
This is an introduction to process algebra, also known as the Algebra of Communicating Processes (ACP). It is a self-contained mathematical approach to the theory which can be used for graduate courses, though it also has material of interest to researchers. It is a unique introduction to this model of concurrent programming and will be essential reading for all computer scientists interested in parallel processing and algebraic methods in computer science.
作者简介
目录信息
读后感
评分
评分
评分
评分
评分
用户评价
评分
评分
评分
评分
评分
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有