دانلود کتاب Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems — ProCoS Lübeck, Germany, September 19–23, 1994 Proceedings (به فارسی: تکنیک‌های رسمی در سیستم‌های بی‌درنگ و تحمل‌پذیر خطا: سومین سمپوزیوم بین‌المللی که به طور مشترک با گروه کاری سازماندهی شد سیستم‌های کاملاً صحیح – ProCoS Lübeck، آلمان، 19 تا 23 سپتامبر 1994 مجموعه مقالات) نوشته شده توسط «Limor Fix – Fred B. Schneider (auth.) – Hans Langmaack – Willem-Paul de Roever – Jan Vytopil (eds.)»
اطلاعات کتاب تکنیک‌های رسمی در سیستم‌های بی‌درنگ و تحمل‌پذیر خطا: سومین سمپوزیوم بین‌المللی که به طور مشترک با گروه کاری سازماندهی شد سیستم‌های کاملاً صحیح – ProCoS Lübeck، آلمان، 19 تا 23 سپتامبر 1994 مجموعه مقالات
موضوع اصلی: کامپیوتر – علوم کامپیوتر
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Limor Fix – Fred B. Schneider (auth.) – Hans Langmaack – Willem-Paul de Roever – Jan Vytopil (eds.)
زبان: english
فرمت کتاب: DJVU (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1994
تعداد صفحه: 787 / 801
حجم فایل: 6.86 مگابایت
کد کتاب: 3540584684 , 9783540584681
نوبت چاپ: 1
توضیحات کتاب تکنیک‌های رسمی در سیستم‌های بی‌درنگ و تحمل‌پذیر خطا: سومین سمپوزیوم بین‌المللی که به طور مشترک با گروه کاری سازماندهی شد سیستم‌های کاملاً صحیح – ProCoS Lübeck، آلمان، 19 تا 23 سپتامبر 1994 مجموعه مقالات
این جلد مجموعه مقالات سومین سمپوزیوم بین‌المللی تکنیک‌های رسمی در سیستم‌های بی‌درنگ و تحمل‌پذیر خطا را ارائه می‌کند که به‌طور مشترک با گروه کاری سیستم‌های صحیح اثبات‌پذیر (ProCoS) در لوبک، آلمان در سپتامبر 1994 برگزار شد.
کتاب شامل نسخه کامل 5 گفتگوی دعوت شده و 33 مشارکت داوری با دقت انتخاب شده و همچنین 12 نمایش ابزار است. این سند نشان می‌دهد که تکنیک‌های رسمی پایه و اساس طراحی سیستماتیک سیستم‌های بی‌درنگ، مقاوم به خطا، و ترکیبی، در کل فرآیند مهندسی، از ثبت نیازمندی‌ها تا مشخصات، طراحی، کدگذاری و کامپایل، تا سخت‌افزار را تشکیل می‌دهند. که سیستم را در محیط خود جاسازی می کند.
This volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly with the Working Group Provably Correct Systems (ProCoS) at Lübeck, Germany in September 1994.
The book contains full versions of 5 invited talks and 33 carefully selected refereed contributions as well as 12 tool demonstrations. It documents that formal techniques constitute the foundation of a systematic design of real-time, fault-tolerant, and hybrid systems, throughout the whole engineering process, from the capture of requirements through specification, design, coding and compilation, right down to the hardware that embeds the system into its environment.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.