دانلود کتاب Formal techniques for networked and distributed systems– FORTE 2007: 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007: proceedings (به فارسی: تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده– FORTE 2007: بیست و هفتمین کنفرانس بین المللی IFIP WG 6.1، تالین، استونی، 27-29 ژوئن 2007: مجموعه مقالات) نوشته شده توسط «John Derrick – Jüri Vain»
اطلاعات کتاب تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده– FORTE 2007: بیست و هفتمین کنفرانس بین المللی IFIP WG 6.1، تالین، استونی، 27-29 ژوئن 2007: مجموعه مقالات
موضوع اصلی: کنفرانس ها و سمپوزیوم های بین المللی
نوع: کتاب الکترونیکی
ناشر: Springer
نویسنده: John Derrick – Jüri Vain
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2007
تعداد صفحه: 385
حجم کتاب: 5 مگابایت
کد کتاب: 9783540731955 , 3540731954
نوبت چاپ: 1
توضیحات کتاب تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده– FORTE 2007: بیست و هفتمین کنفرانس بین المللی IFIP WG 6.1، تالین، استونی، 27-29 ژوئن 2007: مجموعه مقالات
این کتاب مجموعه مقالات داوری بیست و هفتمین کنفرانس بین‌المللی IFIP WG 6.1 در تکنیک‌های رسمی برای سیستم‌های شبکه‌ای و توزیع‌شده، FORTE 2007، در تالین، استونی، در سپتامبر 2007 با مشارکت TestCom/FATES 2007 است.
22 مقاله کامل اصلاح شده ارائه شده همراه با 1 سخنرانی دعوت شده به دقت بررسی و از بین 67 مورد ارسالی انتخاب شدند. این مقالات بر محاسبات و معماری های سرویس گرا با استفاده از رویکردهای رسمی و تأیید شده تمرکز دارند. علاوه بر مشخصات پروتکل کلاسیک و مشکلات تأیید، مسائل مربوط به ترکیب توابع پروتکل و الگوریتم‌ها برای سیستم‌های توزیع شده مورد بررسی قرار می‌گیرد. مقالات در بخش‌های موضوعی در نمودارهای توالی پیام و SDL، همزمانی، برنامه‌های مدل، تئوری، تأیید، بررسی مدل، نیازمندی‌ها و QoS، و همچنین مؤلفه‌ها سازمان‌دهی شده‌اند.
This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2007, held in Tallinn, Estonia, in September 2007 co-located with TestCom/FATES 2007.
The 22 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 67 submissions. The papers focus on service oriented computing and architectures using formalized and verified approaches. In addition to the classical protocol specification and verification problems, the issues of composition of protocol functions and of algorithms for distributed systems are addressed. The papers are organized in topical sections on message sequence charts and SDL, concurrency, model programs, theory, verification, model checking, requirements and QoS, as well as components.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.