توجیه قابلیت اطمینان سیستم های مبتنی بر کامپیوتر: با کاربرد در مهندسی هسته ای
Justifying the Dependability of Computer-based Systems: With Applications in Nuclear Engineering
نویسنده: Pierre-Jacques Courtois (auth.)
ناشر: Springer-Verlag London
سال انتشار: 2008
تعداد صفحات: 330
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 5 مگابایت