설명
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