خرید و دانلود نسخه کامل کتاب Formal Techniques for Networked and Distributed Systems – FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings

آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم. توضیحاتی در مورد کتاب  این کتاب مجموعه مقالات داوری بیست و ششمین کنفرانس بین المللی IFIP WG 6.1 در تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده، FORTE 2006، برگزار شده در پاریس، فرانسه، در سپتامبر 2006 است. 26 مورد تجدید نظر کامل مقالات و 4 مقاله کوتاه ارائه شده همراه با 3 سخنرانی دعوت شده به دقت بررسی و از بین 177 مقاله ارسالی انتخاب شدند. این مقالات بر ساخت میان‌افزار و سرویس‌ها با استفاده از رویکردهای رسمی و تأیید شده تمرکز می‌کنند و – علاوه بر مشخصات پروتکل کلاسیک، مشکلات تأیید و آزمایش – به مسائل ترکیب توابع پروتکل و الگوریتم‌ها برای سیستم‌های توزیع‌شده می‌پردازند. مقالات در بخش‌های موضوعی خدمات، میان‌افزار، ترکیب و ترکیب، منطق، تأیید نمادین/برش، زبان‌های مدل‌سازی یکپارچه، شبکه‌های پتری، تأیید پارامتر، زمان واقعی، و آزمایش سازمان‌دهی شده‌اند.