مقدمه ای بر طراحی رسمی سیستم های بلادرنگ
Introduction to the Formal Design of Real-Time Systems
نویسنده: David Gray BSc, MSc, PhD, CEng (auth.)
ناشر: Springer-Verlag London
سال انتشار: 1999
تعداد صفحات: 467
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 13 مگابایت