توضیحات
This book discusses the semantic foundations of concurrent systems with nondeterministic and probabilistic behaviour. Particular attention is given to clarifying the relationship between testing and simulation semantics and characterising bisimulations from metric, logical, and algorithmic perspectives. Besides presenting recent research outcomes in probabilistic concurrency theory, the book exemplifies the use of many mathematical techniques to solve problems in computer science, which is intended to be accessible to postgraduate students in Computer Science and Mathematics. It can also be used by researchers and practitioners either for advanced study or for technical reference.
————————————————————–
ترجمه ماشینی :
این کتاب در مورد مبانی معنایی سیستم های همزمان با رفتار غیرقانونی و احتمالی بحث می کند. توجه ویژه ای به روشن شدن رابطه بین معناشناسی آزمایش و شبیه سازی و توصیف بیسیمولاسیون از دیدگاه های متریک ، منطقی و الگوریتمی داده می شود. علاوه بر ارائه نتایج تحقیقاتی اخیر در تئوری همزمانی احتمالی ، این کتاب از استفاده از بسیاری از تکنیک های ریاضی برای حل مشکلات در علوم کامپیوتر ، که قرار است برای دانشجویان تحصیلات تکمیلی در علوم کامپیوتر و ریاضیات در دسترس باشد ، نشان می دهد. همچنین می تواند توسط محققان و پزشکان برای مطالعه پیشرفته یا برای مرجع فنی استفاده شود.
tag : دانلود کتاب معناشناسی فرآیندهای احتمالی: یک رویکرد عملیاتی , Download معناشناسی فرآیندهای احتمالی: یک رویکرد عملیاتی , دانلود معناشناسی فرآیندهای احتمالی: یک رویکرد عملیاتی , Download Semantics of Probabilistic Processes: An Operational Approach Book , معناشناسی فرآیندهای احتمالی: یک رویکرد عملیاتی دانلود , buy معناشناسی فرآیندهای احتمالی: یک رویکرد عملیاتی , خرید کتاب معناشناسی فرآیندهای احتمالی: یک رویکرد عملیاتی , دانلود کتاب Semantics of Probabilistic Processes: An Operational Approach , کتاب Semantics of Probabilistic Processes: An Operational Approach , دانلود Semantics of Probabilistic Processes: An Operational Approach , خرید Semantics of Probabilistic Processes: An Operational Approach , خرید کتاب Semantics of Probabilistic Processes: An Operational Approach ,
دیدگاهها
هیچ دیدگاهی برای این محصول نوشته نشده است.