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.
أضف إلى الرف

قيم هذا الكتاب


تصدير مجلة الكتاب