خرید و دانلود نسخه کامل کتاب Duration Calculus: A Formal Approach to Real-Time Systems

محاسبه مدت زمان: یک رویکرد رسمی به سیستم های زمان واقعی

Duration Calculus: A Formal Approach to Real-Time Systems

نویسنده: Chaochen Zhou, Michael R. Hansen

ناشر: Springer

سال انتشار: 2004

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

زبان: English

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

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