ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Verification of Sequential and Concurrent Programs

دانلود کتاب تایید برنامه های متوالی و همزمان

Verification of Sequential and Concurrent Programs

مشخصات کتاب

Verification of Sequential and Concurrent Programs

دسته بندی: الگوریتم ها و ساختارهای داده
ویرایش: 2nd 
نویسندگان: ,   
سری: Graduate Texts in Computer Science 
ISBN (شابک) : 9781475727166, 9781475727142 
ناشر: Springer 
سال نشر: 1997 
تعداد صفحات: 370 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 9 مگابایت

قیمت کتاب (تومان) : 54,000



کلمات کلیدی مربوط به کتاب تایید برنامه های متوالی و همزمان: منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 18


در صورت تبدیل فایل کتاب Verification of Sequential and Concurrent Programs به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


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



فهرست مطالب

Front Matter....Pages i-xvii
Introduction....Pages 1-14
Preliminaries....Pages 15-45
Deterministic Programs....Pages 47-99
Disjoint Parallel Programs....Pages 101-124
Parallel Programs with Shared Variables....Pages 125-167
Parallel Programs with Synchronization....Pages 169-211
Nondeterministic Programs....Pages 213-233
Distributed Programs....Pages 235-270
Fairness....Pages 271-323
Back Matter....Pages 325-364




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی