خرید و دانلود نسخه کامل کتاب Real-Time Systems: Formal Specification and Automatic Verification

سیستم های Real-Time: مشخصات رسمی و تأیید خودکار

Real-Time Systems: Formal Specification and Automatic Verification

نویسنده: Ernst-Rüdiger Olderog, Henning Dierks

ناشر: Cambridge University Press

سال انتشار: 2008

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

زبان: English

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

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