توضیحات
Starting from the premise that understanding the foundations of concurrent programming is key to developing distributed computing systems, this book first presents the fundamental theories of concurrent computing and then introduces the programming languages that help develop distributed computing systems at a high level of abstraction. The major theories of concurrent computation — including the p-calculus, the actor model, the join calculus, and mobile ambients — are explained with a focus on how they help design and reason about distributed and mobile computing systems. The book then presents programming languages that follow the theoretical models already described, including Pict, SALSA, and JoCaml. The parallel structure of the chapters in both part one (theory) and part two (practice) enable the reader not only to compare the different theories but also to see clearly how a programming language supports a theoretical model. The book is unique in bridging the gap between the theory and the practice of programming distributed computing systems. It can be used as a textbook for graduate and advanced undergraduate students in computer science or as a reference for researchers in the area of programming technology for distributed computing. By presenting theory first, the book allows readers to focus on the essential components of concurrency, distribution, and mobility without getting bogged down in syntactic details of specific programming languages. Once the theory is understood, the practical part of implementing a system in an actual programming language becomes much easier.
————————————————————–
ترجمه ماشینی :
با شروع از این فرض که درک مبانی برنامه نویسی همزمان کلید توسعه سیستم های محاسباتی توزیع شده است، این کتاب ابتدا تئوری های اساسی رایانش همزمان را ارائه می دهد و سپس زبان های برنامه نویسی را معرفی می کند که به توسعه سیستم های محاسباتی توزیع شده در سطح بالایی از انتزاع کمک می کنند. . تئوریهای اصلی محاسبات همزمان – از جمله p-calculus، مدل بازیگر، حساب پیوستن، و محیطهای متحرک – با تمرکز بر نحوه کمک به طراحی و استدلال در مورد سیستمهای محاسباتی توزیعشده و سیار توضیح داده شدهاند. سپس این کتاب زبانهای برنامهنویسی را ارائه میکند که از مدلهای نظری قبلاً توضیح داده شده پیروی میکنند، از جمله Pict، SALSA، و JoCaml. ساختار موازی فصلها در هر دو بخش اول (نظریه) و بخش دوم (عمل) خواننده را قادر میسازد نه تنها نظریههای مختلف را مقایسه کند، بلکه به وضوح ببیند چگونه یک زبان برنامهنویسی از یک مدل نظری پشتیبانی میکند. این کتاب در پل زدن شکاف بین تئوری و عمل برنامه نویسی سیستم های محاسباتی توزیع شده منحصر به فرد است. این می تواند به عنوان یک کتاب درسی برای دانشجویان کارشناسی ارشد و پیشرفته در علوم کامپیوتر یا به عنوان مرجعی برای محققان در زمینه فناوری برنامه نویسی برای محاسبات توزیع شده استفاده شود. با ارائه نظریه ابتدا، این کتاب به خوانندگان اجازه می دهد تا بر اجزای اساسی همزمانی، توزیع، و تحرک بدون گرفتار شدن در جزئیات نحوی زبان های برنامه نویسی خاص تمرکز کنند. هنگامی که تئوری درک شد، بخش عملی پیاده سازی یک سیستم در یک زبان برنامه نویسی واقعی بسیار آسان تر می شود.
tag : دانلود کتاب برنامه نویسی سیستم های محاسباتی توزیع شده: یک رویکرد اساسی , Download برنامه نویسی سیستم های محاسباتی توزیع شده: یک رویکرد اساسی , دانلود برنامه نویسی سیستم های محاسباتی توزیع شده: یک رویکرد اساسی , Download Programming distributed computing systems: a foundational approach Book , برنامه نویسی سیستم های محاسباتی توزیع شده: یک رویکرد اساسی دانلود , buy برنامه نویسی سیستم های محاسباتی توزیع شده: یک رویکرد اساسی , خرید کتاب برنامه نویسی سیستم های محاسباتی توزیع شده: یک رویکرد اساسی , دانلود کتاب Programming distributed computing systems: a foundational approach , کتاب Programming distributed computing systems: a foundational approach , دانلود Programming distributed computing systems: a foundational approach , خرید Programming distributed computing systems: a foundational approach , خرید کتاب Programming distributed computing systems: a foundational approach ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.