کتاب الکترونیکی

تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده، 21 conf.، FORTE 2001

Formal Techniques for Networked and Distributed Systems, 21 conf., FORTE 2001

دانلود کتاب Formal Techniques for Networked and Distributed Systems, 21 conf., FORTE 2001 (به فارسی: تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده، 21 conf.، FORTE 2001) نوشته شده توسط «Myungchul Kim – Byoungmoon Chin – Sungwon Kang – Danhyung Lee»

اطلاعات کتاب تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده، 21 conf.، FORTE 2001

موضوع اصلی: شبکه سازی

نوع: کتاب الکترونیکی

ناشر: Springer

نویسنده: Myungchul Kim – Byoungmoon Chin – Sungwon Kang – Danhyung Lee

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2001

تعداد صفحه: 472

حجم کتاب: 4 مگابایت

کد کتاب: 0792374703 , 9780792374701 , 9780306470035

نوبت چاپ: 1

توضیحات کتاب تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده، 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.

دانلود کتاب «تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده، 21 conf.، FORTE 2001»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان