Communicating sequential processes

Communicating sequential processes

还没有评分
Jan 1, 1985 · 英语 · 精装书 (256 页数)
加入书架

评价这本书


导出书籍日志

书籍详情

格式 精装书
页数 256
语言 英语
已发布 Jan 1, 1985
出版商 Prentice Hall
ISBN-10 0131532715
ISBN-13 9780131532717

描述

This book introduces a new mathematical approach to the study of concurrency and communication. Most suitable application of this new field is to the specification, design and implementation of computer systems which continuously act and interact with their environment.
加入书架

评价这本书


导出书籍日志