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.
加入書架

評價這本書


出口書籍日誌