دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium Uppsala, Sweden, September 9–13, 1996 Proceedings
دانلود کتاب تکنیک های رسمی در سیستم های زمان واقعی و تحمل خطا: چهارمین سمپوزیوم بین المللی اوپسالا ، سوئد ، 9 تا 13 سپتامبر ، مجموعه مقالات
مشخصات کتاب
Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium Uppsala, Sweden, September 9–13, 1996 Proceedings
ویرایش: [1 ed.] نویسندگان: Flaviu Cristian (auth.), Bengt Jonsson, Joachim Parrow (eds.) سری: Lecture Notes in Computer Science 1135 ISBN (شابک) : 3540616489, 9783540616481 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1996 تعداد صفحات: 490 [489] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 71,000
در صورت تبدیل فایل کتاب Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium Uppsala, Sweden, September 9–13, 1996 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تکنیک های رسمی در سیستم های زمان واقعی و تحمل خطا: چهارمین سمپوزیوم بین المللی اوپسالا ، سوئد ، 9 تا 13 سپتامبر ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تکنیک های رسمی در سیستم های زمان واقعی و تحمل خطا: چهارمین سمپوزیوم بین المللی اوپسالا ، سوئد ، 9 تا 13 سپتامبر ، مجموعه مقالات
این جلد مجموعه مقالات داوری چهارمین سمپوزیوم بینالمللی
تکنیکهای رسمی در سیستمهای بیدرنگ و تحملپذیر خطا، FTRTFTS
'96، برگزار شده در اوپسالا، سوئد، در سپتامبر 1996 است.
22 مقاله کامل اصلاحشده ارائه شده است. از مجموع 61 ارسال
انتخاب شدند. همچنین شامل سه مشارکت دعوت شده و پنج نمایش ابزار
است. مقالات در بخشهایی در نمودارهای حالت، خودکارهای
زمانبندیشده، محاسبات مدت زمان، مطالعات موردی، زمانبندی،
تحمل خطا، مشخصات و تأیید سازماندهی شدهاند.
توضیحاتی درمورد کتاب به خارجی
This volume constitutes the refereed proceedings of the
Fourth International Symposium on Formal Techniques in
Real-Time and Fault-Tolerant Systems, FTRTFTS '96, held in
Uppsala, Sweden, in September 1996.
The 22 revised full papers presented were selected from a
total of 61 submissions; also included are three invited
contributions and five tools demonstrations. The papers are
organized in sections on state charts, timed automata,
duration calculus, case studies, scheduling, fault tolerance,
specification, and verification.
