دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش:
نویسندگان: Fred B. Schneider
سری: Graduate Texts in Computer Science
ISBN (شابک) : 0387949429, 9780387949420
ناشر: Springer
سال نشر: 1997
تعداد صفحات: 492
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 Mb
در صورت تبدیل فایل کتاب On Concurrent Programming به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب در مورد برنامه نویسی همزمان نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
در اینجا، یکی از چهرههای برجسته در این زمینه، بررسی جامعی از موضوع ارائه میکند، که با منطق حرف اضافه شروع میشود و با برنامهنویسی همزمان به پایان میرسد. این بر اساس دوره های تحصیلات تکمیلی تدریس شده در دانشگاه کرنل است و برای استفاده به عنوان متن فارغ التحصیل طراحی شده است. پروفسور اشنایر بر استفاده از روشهای رسمی و استدلال قاطعانه با استفاده از نشانهگذاری و پارادایمهای برگرفته از برنامهنویسی برای هدایت نمایش تأکید میکند، در حالی که تمرینهای پایان هر فصل، موضوعات اصلی تحت پوشش را گسترش داده و نشان میدهند. در نتیجه، همه کسانی که علاقه مند به مطالعه محاسبات همزمان هستند، این را یک رویکرد ارزشمند برای موضوع خواهند یافت.
Here, one of the leading figures in the field provides a comprehensive survey of the subject, beginning with prepositional logic and concluding with concurrent programming. It is based on graduate courses taught at Cornell University and is designed for use as a graduate text. Professor Schneier emphasises the use of formal methods and assertional reasoning using notation and paradigms drawn from programming to drive the exposition, while exercises at the end of each chapter extend and illustrate the main themes covered. As a result, all those interested in studying concurrent computing will find this an invaluable approach to the subject.