دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [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
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب Formal Systems Specification: The RPC-Memory Specification Case Study به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مشخصات سیستم های رسمی: مطالعه موردی مشخصات 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.