دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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 ، آلمان ، مجموعه مقالات
مشخصات کتاب
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
ویرایش: [1 ed.] نویسندگان: Limor Fix, Fred B. Schneider (auth.), Hans Langmaack, Willem-Paul de Roever, Jan Vytopil (eds.) سری: Lecture Notes in Computer Science 863 ISBN (شابک) : 3540584684, 9783540584681 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1994 تعداد صفحات: 787 [801] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 Mb
قیمت کتاب (تومان) : 36,000
در صورت تبدیل فایل کتاب 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 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تکنیک های رسمی در سیستم های بیدرنگ و تحمل پذیر در زمان واقعی: سومین سمپوزیوم بین المللی که به طور مشترک با کارگروه سیستم های صحیح درست سازماندهی شده اند - ProCoS Lübeck ، آلمان ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تکنیک های رسمی در سیستم های بیدرنگ و تحمل پذیر در زمان واقعی: سومین سمپوزیوم بین المللی که به طور مشترک با کارگروه سیستم های صحیح درست سازماندهی شده اند - ProCoS Lübeck ، آلمان ، مجموعه مقالات
این جلد مجموعه مقالات سومین سمپوزیوم بین‌المللی تکنیک‌های
رسمی در سیستم‌های بلادرنگ و تحمل‌پذیر خطا را ارائه می‌دهد که
به‌طور مشترک با گروه کاری سیستم‌های صحیح اثبات‌پذیر (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.
