دانلود کتاب Real-time systems. Scheduling, analysis and verification (به فارسی: سیستم های بلادرنگ برنامه ریزی، تجزیه و تحلیل و تایید) نوشته شده توسط «Albert M. K. Cheng»
اطلاعات کتاب سیستم های بلادرنگ برنامه ریزی، تجزیه و تحلیل و تایید
موضوع اصلی: کامپیوتر – پایگاه داده
نوع: کتاب الکترونیکی
ناشر: Wiley-Interscience
نویسنده: Albert M. K. Cheng
زبان: english
فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2002
تعداد صفحه: 550
حجم فایل: 3.51 مگابایت
کد کتاب: 0471184063 , 9780471184065
توضیحات کتاب سیستم های بلادرنگ برنامه ریزی، تجزیه و تحلیل و تایید
«نویسنده مروری اساسی و بهروز از فرآیند تأیید و تأیید ارائه میکند…» (مجله کامپیوتر، نوامبر 2004) «بحث وحدتبخش در مورد روشهای تحلیل رسمی و تأیید بهویژه ارزشمند و روشنکننده است، هم برای دانشجویان تحصیلات تکمیلی و هم برای دانشجویان. محققین.” (مجله بین المللی سیستم های عمومی، دسامبر 2003) اولین کتابی است که به جای مجموعه ای از مقالات، یک نمای کلی از موضوع ارائه می دهد. * نویسنده یک مرجع شناخته شده در این زمینه و همچنین یک معلم برجسته است که به دلیل توانایی خود در انتقال این مفاهیم به وضوح به بسیاری از مخاطبان مختلف تحسین شده است. * یک مرجع مفید برای پزشکان در این زمینه.
دانلود کتاب «سیستم های بلادرنگ برنامه ریزی، تجزیه و تحلیل و تایید»
📖 خرید این کتاب
برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمههای زیر کلیک کنید تا پیام آماده برای شما ارسال شود:
پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.