دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Systems Specification: The RPC-Memory Specification Case Study
دانلود کتاب مشخصات سیستم های رسمی: مطالعه موردی مشخصات RPC-Memory
مشخصات کتاب
Formal Systems Specification: The RPC-Memory Specification Case Study
ویرایش: [1 ed.] نویسندگان: Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.) سری: Lecture Notes in Computer Science 1169 ISBN (شابک) : 3540619844, 9783540619840 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1996 تعداد صفحات: 543 [555] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 42,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب Formal Systems Specification: The RPC-Memory Specification Case Study به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مشخصات سیستم های رسمی: مطالعه موردی مشخصات RPC-Memory نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مشخصات سیستم های رسمی: مطالعه موردی مشخصات RPC-Memory
مشکل مشخصات حافظه RPC توسط بروی و لامپورت به عنوان مطالعه
موردی در طراحی رسمی سیستم های توزیع شده و همزمان پیشنهاد شد.
به عنوان یک مثال واقعی برای سیستم‌های عامل و طراحی سخت‌افزار،
مسئله حافظه RPC به عنوان مبنایی برای مقایسه رویکردهای مختلف
برای مشخصات رسمی، اصلاح و تأیید استفاده شد.
راه‌حل‌های اولیه در طی کارگاهی در Schloss Dagstuhl، آلمان
مورد بحث قرار گرفت. ، در شهریور 94. سپس بحث گسترده ای بین
داوران و نویسندگان صورت گرفت. در نهایت 15 مقاله به طور کامل
اصلاح شده برای گنجاندن در این جلد با جزئیات کامل همراه با
بیان مسئله و یک خلاصه پذیرفته شد.
توضیحاتی درمورد کتاب به خارجی
The RPC-memory specification problem was proposed by Broy and
Lamport as a case study in the formal design of distributed
and concurrent systems. As a realistic example typical for
operating systems and hardware design, the RPC-memory problem
was used as the basis for comparing various approaches to
formal specification, refinement, and verification.
Preliminary solutions were discussed during a workshop at
Schloss Dagstuhl, Germany, in September 1994. Then an
extensive discussion took place between the referees and
authors. Finally 15 thoroughly revised papers were accepted
for inclusion in this volume in full detail together with the
problem statement and a synopsis.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Textbook of Cardiovascular Medicine
دانلود کتاب Project Management: A Practical Approach
دانلود کتاب Politics in India: Structure, Process and Policy
دانلود کتاب Death in the Everglades: Accidents, Foolhardiness, and Mayhem in South Florida
