دانلود کتاب Principles of Concurrent and Distributed Programming: Algorithms and Models – اصول برنامه نویسی همزمان و توزیع شده: الگوریتم ها و مدل ها

توضیحات

Principles of Concurrent and Distributed Programming From a winner of the ACM/SIGCSE Award, this introduction to concurrency takes into account the importance of concurrency constructs in programming languages and of formal methods such as model checking. It focuses on algorithmic principles, and the use of the Spin model checker for modeling concurrent systems and verifying program correctness.

————————————————————–

ترجمه ماشینی :

اصول برنامه نویسی همزمان و توزیع شده از برنده جایزه ACM/SIGCSE ، این مقدمه به همزمانی اهمیت سازه های همزمانی را در زبان های برنامه نویسی و روش های رسمی مانند بررسی مدل در نظر می گیرد. این تمرکز بر روی اصول الگوریتمی و استفاده از Checker Model Spin برای مدل سازی سیستم های همزمان و تأیید صحت برنامه است.

tag : دانلود کتاب اصول برنامه نویسی همزمان و توزیع شده: الگوریتم ها و مدل ها , Download اصول برنامه نویسی همزمان و توزیع شده: الگوریتم ها و مدل ها , دانلود اصول برنامه نویسی همزمان و توزیع شده: الگوریتم ها و مدل ها , Download Principles of Concurrent and Distributed Programming: Algorithms and Models Book , اصول برنامه نویسی همزمان و توزیع شده: الگوریتم ها و مدل ها دانلود , buy اصول برنامه نویسی همزمان و توزیع شده: الگوریتم ها و مدل ها , خرید کتاب اصول برنامه نویسی همزمان و توزیع شده: الگوریتم ها و مدل ها , دانلود کتاب Principles of Concurrent and Distributed Programming: Algorithms and Models , کتاب Principles of Concurrent and Distributed Programming: Algorithms and Models , دانلود Principles of Concurrent and Distributed Programming: Algorithms and Models , خرید Principles of Concurrent and Distributed Programming: Algorithms and Models , خرید کتاب Principles of Concurrent and Distributed Programming: Algorithms and Models ,