خرید و دانلود نسخه کامل کتاب Modeling and Verification of Real-Time Systems: Formalisms and Software Tools

مدل سازی و تأیید سیستم های زمان واقعی: فرمالیسم و ​​ابزارهای نرم افزاری

Modeling and Verification of Real-Time Systems: Formalisms and Software Tools

نویسنده: Merz, Stephan (editor);Navet, Nicolas (editor)

ناشر: Wiley-ISTE

سال انتشار: 2008

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

زبان: English

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

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