دانلود کتاب Formal Techniques for Networked and Distributed Systems, 21 conf., FORTE 2001
49,000 تومان
تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده، 21 conf.، FORTE 2001
| موضوع اصلی | شبکه سازی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer |
| تعداد صفحه | 472 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 0792374703,9780792374701,9780306470035 |
| نوبت چاپ | 1 |
| نویسنده | Byoungmoon Chin, Danhyung Lee, Myungchul Kim, Sungwon Kang |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2001 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده، 21 conf.، FORTE 2001
این کتاب آخرین نتایج جهانی را در تئوری و عمل تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده ارائه می دهد. موضوع کتاب توسط مقالات تخصصی در زمینههای زیر پرداخته شده است: + روشهای رسمی در توسعه نرمافزار، + جبر فرآیند، + اتوماتهای زمانبندیشده، + نظریهها و کاربردهای تأیید، + تست سیستمهای توزیعشده، + استخراج دنباله آزمون. علاوه بر این، بخش آخر کتاب شامل کمکهای ویژهای توسط محققان برجسته در زمینههای فوق برای افزودن وسعت و دیدگاههای بیشتر به نتایج است. این جلد شامل مجموعه مقالات منتخب کنفرانس بین المللی تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده (FORTE 2001) است که توسط فدراسیون بین المللی پردازش اطلاعات (IFIP) حمایت مالی شد و در جزیره چجو، کره در آگوست 2001 برگزار شد. FORTE 2001 ترکیبی است. دو کنفرانس معتبر، FORTE (تکنیک های تشریح رسمی برای سیستم های توزیع شده و پروتکل های ارتباطی) و PSTV (تست و تأیید مشخصات پروتکل)، و بیش از 20 سال سابقه دارد. تکنیکهای رسمی برای سیستمهای شبکهای و توزیعشده برای محققان و مهندسان شاغل در زمینههای ارتباطات، تحقیق و توسعه تجهیزات آزمایشی، و ارتباطات راه دور، و همچنین برای توسعهدهندگان ابزار مهندسی نرمافزار، خواندنی ضروری خواهد بود.
This book presents the latest worldwide results in theory and practice of formal techniques for networked and distributed systems. The theme of the book is addressed by specialized papers in the following areas: + Formal Methods in Software Development, + Process Algebra, + Timed Automata, + Theories and Applications of Verification, + Distributed Systems Testing, + Test Sequence Derivation. In addition, the last part of the book contains special contributions by leading researchers in the above areas to add breadth and give more perspectives to the results. This volume contains the selected proceedings of the International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2001), which was sponsored by the International Federation for Information Processing (IFIP) and held in Cheju Island, Korea in August 2001. FORTE 2001 combines two prestigious conferences, FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) and PSTV (Protocol Specification Testing and Verification), and has more than 20 years of history. Formal Techniques for Networked and Distributed Systems will be essential reading for researchers and engineers working in the fields of communications, test equipment R&D, and telecommunications, as well as to software engineering tool developers.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.