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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Applications of process algebra

دانلود کتاب کاربردهای جبر فرآیندی

مشخصات کتاب

Applications of process algebra

دسته بندی: الگوریتم ها و ساختارهای داده
ویرایش:  
نویسندگان: Baeten J.C.M. (ed.)  
سری: Cambridge Tracts in Theoretical Computer Science 17 
ISBN (شابک) : 0521400287 
ناشر: Cambridge University Press 
سال نشر: 2005 
تعداد صفحات: 329 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

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

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

در صورت تبدیل فایل کتاب Applications of process algebra به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب کاربردهای جبر فرآیندی

این کتاب کاربردهای تئوری جبر فرآیند یا جبر فرآیندهای ارتباطی (ACP) را ارائه می دهد، که مطالعه فرآیندهای همزمان یا ارتباطی است که با استفاده از یک چارچوب جبری مورد مطالعه قرار می گیرد. رویکرد بدیهی است. نویسندگان ساختارهایی را در نظر می گیرند که مجموعه ای از بدیهیات عمدتاً معادله ای هستند که به چندین عملگر مجهز هستند. بنابراین اصطلاح «جبر» در معنای مدلی-نظری به کار می رود. رویکرد بدیهی فرد را قادر می سازد تا حوزه نظریه های فرآیند را سازماندهی کند. این تئوری به طور سیستماتیک برای تعدادی از موقعیت‌ها از جمله الگوریتم‌های سیستولیک، معناشناسی زبان شی‌گرا و پروتکل‌ها اعمال می‌شود. توسط دانشمندان کامپیوتری که در برنامه نویسی موازی کار می کنند استقبال خواهد شد

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

This book gives applications of the theory of process algebra, or Algebra of Communicating Processes (ACP), that is the study of concurrent or communicating processes studied using an algebraic framework. The approach is axiomatic; the authors consider structures that are some set of mostly equational axioms, which are equipped with several operators. Thus the term 'algebra' is used in the model-theoretic sense. The axiomatic approach enables one to organize the field of process theories. The theory is applied systematically to a number of situations, including systolic algorithms, semantics of an object-oriented language, and protocols. It will be welcomed by computer scientists working in parallel programming