نرم افزار برای سیستم های قابل اعتماد: شواهد کافی؟
Software for Dependable Systems: Sufficient Evidence?
نویسنده: Lynette I. Millett
ناشر: National Academies Press, National Academies Press, Washington, D.C., 2007
سال انتشار: 2007
تعداد صفحات: 149
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 1 مگابایت