الوصف
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