دانلود کتاب Formal Systems Specification: The RPC-Memory Specification Case Study
49,000 تومان
مشخصات سیستم های رسمی: مطالعه موردی مشخصات حافظه RPC
| نوع کالا | کتاب الکترونیکی |
|---|---|
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 543 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3540619844,9783540619840 |
| نوبت چاپ | 1 |
| نویسنده | Katharina Spies (eds.), Leslie Lamport (auth.), Manfred Broy, Stephan Merz |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1996 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
مشخصات سیستم های رسمی: مطالعه موردی مشخصات حافظه RPC
مشکل مشخصات حافظه 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.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.