اگه کتاب خاصی میخواید کلیک کنید >
خرید و دانلود نسخه کامل کتاب Smiley's Workshop for AVR
قیمت اصلی 179,000 تومان بود.104,000 تومانقیمت فعلی 104,000 تومان است.
خرید و دانلود نسخه کامل کتاب Conceptual Structures: Integration and Interfaces: 10th International Conference on Conceptual Structures, ICCS 2002 Borovets, Bulgaria, July 15–19, 2002 Proceedings
قیمت اصلی 177,000 تومان بود.102,000 تومانقیمت فعلی 102,000 تومان است.
📥 ترافیک اینترنت مصرفی جهت دانلود فایلها در الی فایل، بهصورت نیمبها می باشد.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
12ساعت
13دقیقه
08ثانیه
-52%
خرید و دانلود نسخه کامل کتاب Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen, The Netherlands, January 8–10, 1992 Proceedings
قیمت اصلی 145,000 تومان بود.70,000 تومانقیمت فعلی 70,000 تومان است.
تعداد فروش: 55
| عنوان فارسی |
تکنیک های رسمی در سیستم های بلادرنگ و تحمل خطا: دومین سمپوزیوم بین المللی نایمگن ، هلند ، 8 تا 10 ژانویه ، مجموعه مقالات |
|---|---|
| عنوان اصلی | Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen, The Netherlands, January 8–10, 1992 Proceedings |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Asis Goswami, Michael Bell, Mathai Joseph (auth.), Jan Vytopil (eds.) |
| ISBN | 3540550925, 9783540550921 |
| سال نشر | 1991 |
| زبان | English |
| تعداد صفحات | 615 |
| دسته | کنفرانس ها و همایش های بین المللی |
| فرمت کتاب | PDF – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 5 مگابایت |
2
آیتم فروخته شده در 55 دقیقه
5
نفر در حال مشاهده این محصول هستند!
توضیحات
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
این کتاب آخرین نتایج تحقیقاتی را در زمینه روشهای رسمی برای سیستمهای بلادرنگ و تحملپذیر خطا ارائه میدهد. این مقالات مشکلات و راهحلها را در طراحی سیستمهای حیاتی بررسی میکنند و بررسی میکنند که چگونه استفاده از تکنیکهای رسمی برای طراحی، تجزیه و تحلیل و تأیید در ارتباط تئوری با واقعیتهای عملی مفید است. این کتاب حاوی مقالاتی در مورد مسائل بلادرنگ و تحمل خطا است. منطق رسمی، جبر فرآیند و مدلهای کنش/رویداد استفاده میشوند: – برای مشخص کردن و مدلسازی رفتار کمی و کیفی زمان واقعی و تحملپذیر خطا، – برای تجزیه و تحلیل الزامات بهموقع بودن و پیامدهای فرضیههای خطا، – برای تأیید پروتکلها و کد برنامه، – برای تدوین چارچوب های رسمی برای توسعه سیستم های بلادرنگ و متحمل خطا، – برای فرموله کردن معناشناسی زبان ها. ادغام و بارورسازی متقابل موضوعات بلادرنگ و تحمل خطا در سالهای اخیر دیدگاههای جدیدی را به همراه داشته است و این موارد در این کتاب ارائه شده است.
نظرات (0)
نقد و بررسیها
هنوز بررسیای ثبت نشده است.