دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب A Calculus of Distributed and Parallel Processes
دانلود کتاب حسابی از فرآیندهای توزیع شده و موازی
مشخصات کتاب
A Calculus of Distributed and Parallel Processes
ویرایش: 1
نویسندگان: Prof. Dr. Clemens H. Cap (auth.)
سری: Teubner-Texte zur Informatik 31
ISBN (شابک) : 9783322867650, 9783322867636
ناشر: Vieweg+Teubner Verlag
سال نشر: 2000
تعداد صفحات: 323
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 9 مگابایت
قیمت کتاب (تومان) : 37,000
کلمات کلیدی مربوط به کتاب حسابی از فرآیندهای توزیع شده و موازی: مهندسی، عمومی
در صورت تبدیل فایل کتاب A Calculus of Distributed and Parallel Processes به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب حسابی از فرآیندهای توزیع شده و موازی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب حسابی از فرآیندهای توزیع شده و موازی
این کتاب محاسبات فرآیندی را برای سیستم های موازی، توزیع شده و
واکنشی معرفی می کند. این مبانی مفهومی و همچنین تئوری ریاضی
پشت یک زبان برنامه نویسی و تعدادی مثال کاربردی را توصیف می
کند. رویکرد انتخاب شده چارچوبی برای درک معنایی سیستم های
موازی و توزیع شده فراهم می کند. علاوه بر این، می توان آن را
به طور مستقیم برای مسائل عملی اعمال کرد.
توضیحاتی درمورد کتاب به خارجی
This book introduces a process calculus for parallel,
distributed and reactive systems. It describes the conceptual
foundations as well as the mathematical theory behind a
programming language, and a number of application examples.
The chosen approach provides a framework for understanding
the semantics of parallel and distributed systems. Moreover,
it can be directly applied to practical problems.
فهرست مطالب
Front Matter....Pages 1-11
Introduction....Pages 13-26
Transition Systems....Pages 27-58
Distributed Transition Systems....Pages 59-116
Higher Order Transition Systems....Pages 117-132
Process Specification Formalisms....Pages 133-151
Examples....Pages 153-199
Categorical Interpretations....Pages 201-207
Conclusions, Challenges, and Opportunities....Pages 209-224
Back Matter....Pages 225-328
