دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods for Concurrency
دانلود کتاب روش های رسمی برای همزمانی
مشخصات کتاب
Formal Methods for Concurrency
ویرایش:
نویسندگان: Fencott C.
سری:
ISBN (شابک) : 1850321736, 9781850321736
ناشر: Thomson
سال نشر: 1996
تعداد صفحات: 306
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 54,000
در صورت تبدیل فایل کتاب 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.
