دانلود کتاب Formal development of a network-centric RTOS: software engineering for reliable embedded systems
کتاب توسعه رسمی یک RTOS شبکه محور: مهندسی نرم افزار برای سیستم های جاسازی شده قابل اعتماد نسخه زبان اصلی
دانلود کتاب توسعه رسمی یک RTOS شبکه محور: مهندسی نرم افزار برای سیستم های جاسازی شده قابل اعتماد بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Formal development of a network-centric RTOS: software engineering for reliable embedded systems
نام کتاب : Formal development of a network-centric RTOS: software engineering for reliable embedded systems
عنوان ترجمه شده به فارسی : توسعه رسمی یک RTOS شبکه محور: مهندسی نرم افزار برای سیستم های جاسازی شده قابل اعتماد
سری :
نویسندگان : Verhulst, Eric
ناشر : Springer
سال نشر : 2011
تعداد صفحات : 227
ISBN (شابک) : 9781441997357 , 1441997350
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 4 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
فهرست مطالب :
Part 1. Trustworthy embedded systems --
Part 2. Formal modeling fundamentals --
Part 3. OpenComRTOS design --
Part 4. Appendix.
پست ها تصادفی