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.
棚に追加

この本を評価する


ブックジャーナルをエクスポート