دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: الگوریتم ها و ساختارهای داده ویرایش: نویسندگان: J. C. M. Baeten, C. A. Middelburg سری: Monographs in Theoretical Computer Science. An EATCS Series ISBN (شابک) : 9783642077883, 9783662049952 ناشر: Springer سال نشر: 2002 تعداد صفحات: 305 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 9 مگابایت
کلمات کلیدی مربوط به کتاب جبر را با زمان بندی پردازش کنید: مهندسی نرم افزار، دستکاری نمادین و جبری، ساختارهای داده، جبر
در صورت تبدیل فایل کتاب Process Algebra with Timing به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جبر را با زمان بندی پردازش کنید نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب با تعدادی از نظریهها سروکار دارد که میتوانند برای توصیف و تحلیل سیستمهای اجزای متقابل مورد استفاده قرار گیرند، در صورتی که در نظر گرفتن رفتار وابسته به زمان آنها مطلوب یا ضروری باشد. جامعه به طور فزایندهای به سیستمهای پیچیده مبتنی بر رایانهای وابسته میشود که از چندین مؤلفه تشکیل شدهاند که همزمان عمل میکنند و با یکدیگر تعامل دارند - برای همگامسازی و برقراری ارتباط با یکدیگر. پیچیدگی این سیستم ها تا حد زیادی ناشی از روش های متعددی است که اجزای آنها می توانند با هم تعامل داشته باشند. نیاز به اینکه این اجزا به موقع عمل کنند و در تعامل باشند به طور قابل توجهی به پیچیدگی می افزاید. در توسعه چنین سیستمی، درک بهتر موضوعات مربوطه در سطح مفهومی، توصیف دقیق سیستم در سطوح مختلف جزئیات و تجزیه و تحلیل آن بر اساس توصیفات حائز اهمیت است. . هنگامی که نظریه های جبری اولیه در مورد فرآیندها، مانند ACP [16، 17، 20]، CCS [49، 50] و CSP [27، 39]، برای این منظور توسعه یافتند، عقیده ثابت هنوز این بود که زمان بندی یک نگرانی است که اغلب می تواند به طور مستقل درمان شود. بنابراین جای تعجب نیست که زمان بندی عمداً در آن نظریه ها نادیده گرفته شود. اکنون همه آنها برای رسیدگی به زمان بندی گسترش یافته اند.
This book is concerned with a number of theories that can be used for describ ing and analyzing systems of interacting components in case it is desirable or necessary to regard their time-dependent behavior. Society is becoming increasingly more dependent on complex computer based systems that are composed of several components that act concurrently and interact - to synchronize and communicate with each other. The com plexity of these systems arises to a great extent from the many ways in which their components can interact. The need that these components act and in teract on time as well adds considerably to the complexity. In developing such a system, it is important to be able to acquire a better understanding of the relevant issues at the conceptual level, to describe the system in a precise way at various levels of detail, and to analyze it on the basis of the descriptions. When the early algebraic theories about processes, such as ACP [16, 17, 20], CCS [49, 50] and CSP [27, 39], were developed for that purpose, the established opinion was still that timing is a concern that can more often than not be treated independently. It is therefore not surprising that timing is deliberately ignored in those theories. They have now all been extended to deal with timing.
Front Matter....Pages I-XIX
No Timing....Pages 1-30
Discrete Relative Timing....Pages 31-70
Discrete Absolute Timing....Pages 71-122
Continuous Relative Timing....Pages 123-157
Continuous Absolute Timing....Pages 159-204
Abstraction....Pages 205-230
Features....Pages 231-240
Back Matter....Pages 241-290