اثبات و قابلیت اطمینان سیستم
Proof and System-Reliability
نویسنده: G. Hamrin, V. Stoltenberg-Hansen (auth.), Helmut Schwichtenberg, Ralf Steinbrüggen (eds.)
ناشر: Springer Netherlands
سال انتشار: 2002
تعداد صفحات: 418
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 12 مگابایت