توسعه دقیق سیستمهای سازگار با عیب و نقص
Rigorous Development of Complex Fault-Tolerant Systems
نویسنده: Jean-Raymond Abrial (auth.), Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 2006
تعداد صفحات: 412
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 5 مگابایت