دانلود کتاب Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures (به فارسی: روش‌های رسمی برای طراحی سیستم‌های بلادرنگ: مدرسه بین‌المللی روش‌های رسمی برای طراحی سیستم‌های رایانه، ارتباطات و نرم‌افزار، برتینورا، ایتالیا، 13 تا 18 سپتامبر 2004، سخنرانی‌های اصلاح‌شده) نوشته شده توسط «Rajeev Alur – P. Madhusudan (auth.) – Marco Bernardo – Flavio Corradini (eds.)»
اطلاعات کتاب روش‌های رسمی برای طراحی سیستم‌های بلادرنگ: مدرسه بین‌المللی روش‌های رسمی برای طراحی سیستم‌های رایانه، ارتباطات و نرم‌افزار، برتینورا، ایتالیا، 13 تا 18 سپتامبر 2004، سخنرانی‌های اصلاح‌شده
موضوع اصلی: کامپیوتر – علوم کامپیوتر
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Rajeev Alur – P. Madhusudan (auth.) – Marco Bernardo – Flavio Corradini (eds.)
زبان: english
فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2004
تعداد صفحه: 297 / 301
حجم فایل: 2.31 مگابایت
کد کتاب: 3540300805 , 9783540300809
نوبت چاپ: 1
توضیحات کتاب روش‌های رسمی برای طراحی سیستم‌های بلادرنگ: مدرسه بین‌المللی روش‌های رسمی برای طراحی سیستم‌های رایانه، ارتباطات و نرم‌افزار، برتینورا، ایتالیا، 13 تا 18 سپتامبر 2004، سخنرانی‌های اصلاح‌شده
این کتاب نسخه های اصلاح شده نه سخنرانی دعوت شده ارائه شده توسط محققان برجسته را در چهارمین ویرایش مدرسه بین المللی روش های رسمی برای طراحی سیستم های کامپیوتری، ارتباطات و نرم افزار، SFT 2004، که در برتینورو، ایتالیا، در سپتامبر برگزار شد، ارائه می کند. 2004.
SFM 2004 به سیستم های بلادرنگ اختصاص یافته است. سخنرانی‌های ارائه‌شده مدل‌ها و زبان‌های رسمی را برای مشخصات، مدل‌سازی، تجزیه و تحلیل و تأیید سیستم‌های حساس زمانی، بیان این مدل‌ها و زبان‌ها، و همچنین ابزارهای پشتیبانی و برنامه‌های کاربردی مرتبط در حوزه‌های مختلف را پوشش می‌دهند.
این کتاب یک نظرسنجی منحصر به فرد و جامع در مورد سیستم های زمان واقعی ارائه می دهد. محققان و دانشجویان پیشرفته از این کتاب به عنوان یک منبع ارزشمند مرجع و یک راهنمای سیستماتیک برای استفاده از روش‌های رسمی برای مشخصات، تجزیه و تحلیل و تأیید سیستم‌های بلادرنگ قدردانی خواهند کرد.
This book presents the revised versions of nine invited lectures presented by leading researchers at the fourth edition of the International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFT 2004, held in Bertinoro, Italy, September 2004.
SFM 2004 is devoted to real-time systems. The lectures presented cover formal models and languages for the specification, modeling, analysis, and verification of time-critical systems, the expressiveness of such models and languages, as well as supporting tools and related applications in different domains.
The book offers a unique and comprehensive state-of-the-art survey on real-time systems. Researchers and advanced students will appreciate the book as a valuable source of reference and a systematic guide to the use of formal methods for the specification, analysis, and verification of real-time systems.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.