خرید و دانلود نسخه کامل کتاب Real-time systems. Scheduling, analysis and verification
72,500 تومان قیمت اصلی 72,500 تومان بود.35,000 تومانقیمت فعلی 35,000 تومان است.
تعداد فروش: 65
| عنوان فارسی | سیستم های زمان واقعی. برنامه ریزی ، تجزیه و تحلیل و تأیید |
|---|---|
| عنوان اصلی | Real-time systems. Scheduling, analysis and verification |
| ناشر | Wiley-Interscience |
| نویسنده | Albert M. K. Cheng |
| ISBN | 9780471184065, 0471184063 |
| سال نشر | 2002 |
| زبان | English |
| تعداد صفحات | 550 |
| دسته | الکترونیک: رادیو |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 4 مگابایت |
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
”نویسنده یک مرور کلی اساسی و به روز از فرآیند تأیید و اعتبار سنجی ارائه می دهد…” (مجله کامپیوتر، نوامبر 2004) “بحث یکپارچه در مورد روش های تجزیه و تحلیل رسمی و تأیید به ویژه ارزشمند و روشنگر است. دانشجویان و محققان فارغ التحصیل.» (مجله بین المللی سیستم های عمومی، دسامبر 2003) اولین کتابی است که به جای مجموعه ای از مقالات، یک نمای کلی جامع از موضوع ارائه می دهد. * نویسنده یک مرجع شناخته شده در این زمینه و همچنین یک معلم برجسته است که به دلیل توانایی خود در انتقال این مفاهیم به وضوح به بسیاری از مخاطبان مختلف تحسین شده است. * یک مرجع مفید برای پزشکان در این زمینه.

نقد و بررسیها
هنوز بررسیای ثبت نشده است.