خرید و دانلود نسخه کامل کتاب Formal techniques for networked and distributed systems: FORTE 2001: IFIP TC6 WG6.1, 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 20Author: Myungchul Kim
قیمت اصلی 88,500 تومان بود.51,000 تومانقیمت فعلی 51,000 تومان است.
تعداد فروش: 61
| عنوان فارسی | تکنیک های رسمی برای سیستم های شبکه ای و توزیعی: FORTE 2001: IFIP TC6 WG6.1 ، بیست و یکمین کنفرانس بین المللی تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده ، 28 تا 31 آگوست ، 20 نویسنده: Myungchul Kim |
|---|---|
| عنوان اصلی | Formal techniques for networked and distributed systems: FORTE 2001: IFIP TC6 WG6.1, 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 20Author: Myungchul Kim |
| ویرایش | 1 |
| ناشر | Springer |
| نویسنده | Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee |
| ISBN | 9780792374701, 0792374703 |
| سال نشر | 2001 |
| زبان | English |
| تعداد صفحات | 472 |
| دسته | کنفرانس ها و همایش های بین المللی |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 4 مگابایت |
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
این کتاب آخرین نتایج جهانی را در تئوری و عمل تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده ارائه می دهد. موضوع کتاب توسط مقالات تخصصی در زمینههای زیر پرداخته شده است: + روشهای رسمی در توسعه نرمافزار، + جبر فرآیند، + اتوماتهای زمانبندیشده، + نظریهها و کاربردهای تأیید، + تست سیستمهای توزیعشده، + استخراج دنباله آزمون. علاوه بر این، بخش آخر کتاب شامل کمکهای ویژهای توسط محققان برجسته در زمینههای فوق برای افزودن وسعت و دیدگاههای بیشتر به نتایج است. این جلد شامل مجموعه مقالات منتخب کنفرانس بین المللی تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده (FORTE 2001) است که توسط فدراسیون بین المللی پردازش اطلاعات (IFIP) حمایت مالی شد و در جزیره چجو، کره در آگوست 2001 برگزار شد. FORTE 2001 ترکیبی است. دو کنفرانس معتبر، FORTE (تکنیک های تشریح رسمی برای سیستم های توزیع شده و پروتکل های ارتباطی) و PSTV (تست و تأیید مشخصات پروتکل)، و بیش از 20 سال سابقه دارد. تکنیکهای رسمی برای سیستمهای شبکهای و توزیعشده برای محققان و مهندسان شاغل در زمینههای ارتباطات، تحقیق و توسعه تجهیزات آزمایشی، و ارتباطات راه دور، و همچنین برای توسعهدهندگان ابزار مهندسی نرمافزار، خواندنی ضروری خواهد بود.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.