سیستم های زمان واقعی: مشخصات ، تأیید و تجزیه و تحلیل
Real-time systems: specification, verification, and analysis
نویسنده: Mathai Joseph
ناشر: Prentice Hall
سال انتشار: 1996
تعداد صفحات: 290
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 2 مگابایت