描述
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.
書籍詳情
格式
精裝書
頁數
256 頁
語言
英語
已出版
Jan 1, 1985
出版商
Prentice Hall
版本
2 個版本
ISBN-10
0131532715
ISBN-13
9780131532717