Introduction to the Formal Design of Real-Time Systems

خرید و دانلود نسخه کامل کتاب Introduction to the Formal Design of Real-Time Systems

مقدمه ای بر طراحی رسمی سیستم های بلادرنگ

Introduction to the Formal Design of Real-Time Systems

نویسنده: David Gray BSc, MSc, PhD, CEng (auth.)

ناشر: Springer-Verlag London

سال انتشار: 1999

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

زبان: English

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

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

97,000 تومان 58,000 تومان