خرید و دانلود نسخه کامل کتاب Formal Techniques in Real-Time and Fault-Tolerant Systems

تکنیک های رسمی در سیستم های Real-Time و Fault-Tolerant

Formal Techniques in Real-Time and Fault-Tolerant Systems

نویسنده: Henk Schepers (auth.), Jan Vytopil (eds.)

ناشر: Springer US

سال انتشار: 1993

تعداد صفحات: 212

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 7 مگابایت