ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Formal Methods for Concurrency

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

Formal Methods for Concurrency

مشخصات کتاب

Formal Methods for Concurrency

ویرایش:  
نویسندگان:   
سری:  
ISBN (شابک) : 1850321736, 9781850321736 
ناشر: Thomson 
سال نشر: 1996 
تعداد صفحات: 306 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

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



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

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


در صورت تبدیل فایل کتاب Formal Methods for Concurrency به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


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

هدف از این کار ارائه یک مقدمه عملی برای مشخصات رسمی سیستم های همزمان و بلادرنگ است. این برای کسانی است که دانش اولیه یا تجربه محاسباتی دارند، اما دانشی از مشکلات خاص سیستم های همزمان و بلادرنگ را در نظر نمی گیرند. این زبان بر روی یک گروه از زبان‌ها، بر اساس حساب سیستم‌های ارتباطی رابین میلنر (CCS) متمرکز است. با پشتیبانی از مثال‌ها و تمرین‌ها، کاربرد عملی روش نشان داده شده و مزایای یک رویکرد دقیق روشن می‌شود. این متن تشخیص می دهد که ساختن مشخصات رسمی، با استفاده از انتزاع و استدلال رسمی، مهارت هایی دشوار برای تسلط هستند، و بنابراین رویکردی عملی و دانش آموز پسند اتخاذ می کند.


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

The aim of this work is to provide a practical introduction to the formal specification of concurrent and real-time systems. It is intended for those with some basic knowledge or experience of computing but does not assume knowledge of the particular problems of concurrent and real-time systems. It concentrates on one group of languages, based on Robin Milner's Calculus of Communicating Systems (CCS). Supported throughout by examples and exercises, the practical applicability of the method is demonstrated and the benefits of a rigorous approach made clear. This text recognizes that building formal specifications, using abstraction and formal reasoning, are difficult skills to master, and thus adopts a practical, student-friendly approach.





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

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