برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب A calculus of communicating systems

دانلود کتاب حسابگر سیستم های ارتباطی

مشخصات کتاب

A calculus of communicating systems

ویرایش: 1 
نویسندگان: Robin Milner (eds.)  
سری: Lecture Notes in Computer Science 92 
ISBN (شابک) : 0387102353, 9780387102351 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1980 
تعداد صفحات: 176 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 8 مگابایت

قیمت کتاب (تومان) : 30,000

کلمات کلیدی مربوط به کتاب حسابگر سیستم های ارتباطی: اقتصاد/علوم مدیریت، عمومی، علوم کامپیوتر، عمومی

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 3

در صورت تبدیل فایل کتاب A calculus of communicating systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب حسابگر سیستم های ارتباطی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی درمورد کتاب به خارجی

فهرست مطالب

0. Introduction....Pages 1-8
1. Experimenting on nondeterministic machines....Pages 9-18
2. Synchronization....Pages 19-32
3. A case study in synchronization and proof techniques....Pages 33-46
4. Case studies in value-communication....Pages 47-64
5. Syntax and semantics of CCS....Pages 65-83
6. Communication trees (CTs) as a model of CCS....Pages 84-97
7. Observation equivalence and its properties....Pages 98-110
8. Some proofs about data structures....Pages 111-125
9. Translation into CCS....Pages 126-137
10. Determinancy and confluence....Pages 138-157
11. Conclusion....Pages 158-165