حساب دوره: یک رویکرد رسمی به سیستم های زمان واقعی
Duration Calculus: A Formal Approach to Real-Time Systems
نویسنده: Zhou Chaochen, Michael R. Hansen
ناشر: Springer
سال انتشار: 2004
تعداد صفحات: 256
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 2 مگابایت