説明
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