دانلود کتاب Development of Safety-Critical Systems : Architecture and Software
کتاب توسعه سیستم‌های حیاتی ایمنی: معماری و نرم‌افزار نسخه زبان اصلی
دانلود کتاب توسعه سیستم‌های حیاتی ایمنی: معماری و نرم‌افزار بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
توضیحاتی در مورد کتاب Development of Safety-Critical Systems : Architecture and Software
نام کتاب : Development of Safety-Critical Systems : Architecture and Software
عنوان ترجمه شده به فارسی : توسعه سیستم‌های حیاتی ایمنی: معماری و نرم‌افزار
سری :
نویسندگان : Gopinath Karmakar, Amol Wakankar, Ashutosh Kabra, Paritosh Pandya
ناشر : Springer Nature Switzerland
سال نشر : 2023
تعداد صفحات : 0
ISBN (شابک) : 9783031279010 , 9783031279003
زبان کتاب : English
فرمت کتاب : epub درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 23 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
فهرست مطالب :
Cover
Front Matter
1. Introduction
2. System Architecture and Dependability
3. Software Development Process
4. Complying with Standards and Guides
5. Qualification of Safety System Software
6. Formal Modeling, Verification and Automated Synthesis
7. Development of Qualified Platform
Back Matter