مشخصات کتاب

On Concurrent Programming

ویرایش: [N ed.] 
نویسندگان: Gries. David, Schneider. Fred B  
سری:  
ISBN (شابک) : 9781461273035, 1461218306 
ناشر: Springer New York 
سال نشر: 1997 
تعداد صفحات: 481 pages
[482] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 58 Mb 

در صورت تبدیل فایل کتاب On Concurrent Programming به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب در مورد برنامه نویسی همزمان نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب در مورد برنامه نویسی همزمان

متون فارغ التحصیل در علوم کامپیوتر; در برنامه نویسی همزمان؛ کپی رایت؛ پیشگفتار؛ فهرست؛ فهرست ارقام؛ فصل 1 مقدمه؛ فصل 2 منطق صوری; فصل 3 منطق زمانی; فصل 4 نشانه گذاری و منطق برای برنامه نویسی متوالی. فصل 5 همزمانی و تداخل; فصل 6 ویژگی های ایمنی: بی تغییری; فصل 7 ویژگی های ایمنی با شرایط گذشته. فصل 8 تأیید ویژگی‌های منطقی زمانی دلخواه. فصل 9 برنامه نویسی با اقدامات اتمی ریز. فصل 10 سمافورها، قفل ها و مناطق بحرانی مشروط. فصل 11 ارسال پیام و برنامه نویسی توزیع شده.

توضیحاتی درمورد کتاب به خارجی

GRADUATE TEXTS IN COMPUTER SCIENCE; ON CONCURRENT PROGRAMMING; Copyright; Preface; Contents; List of Figures; Chapter 1 Introduction; Chapter 2 Formal Logic; Chapter 3 Temporal Logic; Chapter 4 Notation and Logic for Sequential Programming; Chapter 5 Concurrency and Interference; Chapter 6 Safety Properties: Invariance; Chapter 7 Safety Properties with Past Terms; Chapter 8 Verifying Arbitrary Temporal Logic Properties; Chapter 9 Programming with Fine-Grained Atomic Actions; Chapter 10 Semaphores, Locks, and Conditional Critical Regions; Chapter 11 Message Passing and Distributed Programming.

فهرست مطالب

GRADUATE TEXTS IN COMPUTER SCIENCE
 ON CONCURRENT PROGRAMMING
 Copyright
 Preface
 Contents
 List of Figures
 Chapter 1 Introduction
 Chapter 2 Formal Logic
 Chapter 3 Temporal Logic
 Chapter 4 Notation and Logic for Sequential Programming
 Chapter 5 Concurrency and Interference
 Chapter 6 Safety Properties: Invariance
 Chapter 7 Safety Properties with Past Terms
 Chapter 8 Verifying Arbitrary Temporal Logic Properties
 Chapter 9 Programming with Fine-Grained Atomic Actions
 Chapter 10 Semaphores, Locks, and Conditional Critical Regions
 Chapter 11 Message Passing and Distributed Programming. Chapter 12 Putting It TogetherReferences
 Index.

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Introduction to Audiovisual Archives

دانلود کتاب El fisiologo. Bestiario medieval

دانلود کتاب GeoServer Cookbook

دانلود کتاب Advances in Computer Science – ASIAN 2005. Data Management on the Web: 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005. Proceedings

دانلود کتاب Revision KEY Stage 3 English. Levels 3-5