PDF
دانلود کتاب Real-time systems. Scheduling, analysis and verification
49,000 تومان
سیستم های بلادرنگ برنامه ریزی، تجزیه و تحلیل و تایید
| موضوع اصلی | کامپیوتر – پایگاه داده |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Wiley-Interscience |
| تعداد صفحه | 550 |
| حجم فایل | 3.51 مگابایت |
| کد کتاب | 0471184063 , 9780471184065 |
| نویسنده | Albert M. K. Cheng |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2002 |
مطلب پیشنهادی: با پول کتاب در ایران چی میشه خرید؟
در صورت نیاز به تبدیل فایل به فرمتهای PDF، EPUB، AZW3، MOBI و یا DJVU میتوانید به پشتیبان اطلاع دهید تا در صورت امکان، فایل مورد نظر را تبدیل نمایند.
سایت بَلیان دارای تخفیف پلکانی است، یعنی با افزودن کتاب بیشتر به سبدخرید، قیمت آن برای شما کاهش مییابد. جهت مشاهده درصد تخفیفها بر روی «جدول تخفیف پلکانی» در پایین کلیک نمایید.
جهت یافتن سایر کتابهای مشابه، از منو جستجو در بالای سایت استفاده نمایید.
شما میتوانید با هر 1000 تومان خرید، ۱ شانس شرکت در قرعهکشی کتابخانه دیجیتال بلیان دریافت کنید و شانس خود را برای برنده شدن جوایز هیجان انگیز امتحان کنید. «شرایط شرکت در قرعهکشی»
جدول کد تخفیف
با افزودن چه تعداد کتاب به سبدخرید، چند درصد تخفیف شامل آن خواهد شد؟ در این جدول پاسخ این سوال را خواهید یافت.
برای مثال: اگر بین ۳ الی ۵ کتاب را در سبد خرید خود قرار دهید، ۲۵ درصد تخفیف شامل سبدخرید شما خواهد شد.
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
توضیحات
“The author provides a substantial, up-to-date overview of the verification and validation process…” (Computer Magazine, November 2004) “The unifying discussion on the formal analysis and verification methods are especially valuable and enlightening, both for graduate students and researchers.” (International Journal of General Systems, December 2003) The first book to provide a comprehensive overview of the subject rather than a collection of papers. * The author is a recognized authority in the field as well as an outstanding teacher lauded for his ability to convey these concepts clearly to many different audiences. * A handy reference for practitioners in the field.
ترجمه فارسی (ترجمه ماشینی)
«نویسنده مروری اساسی و بهروز از فرآیند تأیید و تأیید ارائه میکند…» (مجله کامپیوتر، نوامبر 2004) «بحث وحدتبخش در مورد روشهای تحلیل رسمی و تأیید بهویژه ارزشمند و روشنکننده است، هم برای دانشجویان تحصیلات تکمیلی و هم برای دانشجویان. محققین.” (مجله بین المللی سیستم های عمومی، دسامبر 2003) اولین کتابی است که به جای مجموعه ای از مقالات، یک نمای کلی از موضوع ارائه می دهد. * نویسنده یک مرجع شناخته شده در این زمینه و همچنین یک معلم برجسته است که به دلیل توانایی خود در انتقال این مفاهیم به وضوح به بسیاری از مخاطبان مختلف تحسین شده است. * یک مرجع مفید برای پزشکان در این زمینه.
نظرات (0)
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.