دانلود کتاب Formal Techniques for Networked and Distributed Systems – FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings
49,000 تومان
تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده – FORTE 2006: بیست و ششمین کنفرانس بین المللی IFIP WG 6.1، پاریس، فرانسه، 26-29 سپتامبر 2006. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 488 |
| حجم فایل | 6 مگابایت |
| کد کتاب | 3540462198,9783540462194 |
| نوبت چاپ | 1 |
| نویسنده | Daniel Krob (auth.), Elie Najm, Jean-François Pradat-Peyre, Véronique Viguié Donzeau-Gouge (eds.) |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2006 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده – FORTE 2006: بیست و ششمین کنفرانس بین المللی IFIP WG 6.1، پاریس، فرانسه، 26-29 سپتامبر 2006. مجموعه مقالات
این کتاب مجموعه مقالات داوری بیست و ششمین کنفرانس بین المللی IFIP WG 6.1 در تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده، FORTE 2006، برگزار شده در پاریس، فرانسه، در سپتامبر 2006 است.
26 مورد تجدید نظر کامل مقالات و 4 مقاله کوتاه ارائه شده همراه با 3 سخنرانی دعوت شده به دقت بررسی و از بین 177 مقاله ارسالی انتخاب شدند. این مقالات بر ساخت میانافزار و سرویسها با استفاده از رویکردهای رسمی و تأیید شده تمرکز میکنند و – علاوه بر مشخصات پروتکل کلاسیک، تأیید و آزمایش مشکلات – به مسائل مربوط به ترکیب توابع پروتکل و الگوریتمها برای سیستمهای توزیعشده میپردازند.
مقالات در بخشهای موضوعی خدمات، میانافزار، ترکیب و ترکیب، منطق، تأیید نمادین/برش، زبانهای مدلسازی یکپارچه، شبکههای پتری، تأیید پارامتر، زمان واقعی، و آزمایش سازماندهی شدهاند.
This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2006, held in Paris, France, in September 2006.
The 26 revised full papers and 4 short papers presented together with 3 invited lectures were carefully reviewed and selected from 177 submissions. The papers focus on the construction of middleware and services using formalised and verified approaches, and address – in addition to the classical protocol specification, verification and testing problems – the issues of composition of protocol functions and of algorithms for distributed systems.
The papers are organized in topical sections on services, middleware, composition and synthesis, logics, symbolic verification/slicing, unified modeling languages, petri nets, parameterized verification, real time, and testing.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.