خرید و دانلود نسخه کامل کتاب Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems: Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

روشهای طراحی و تأیید نسل بعدی برای سیستمهای کنترل جاسازی شده توزیع شده: مجموعه مقالات کارگاه آموزشی تحقیق و توسعه GM ، بنگلور ، هند ، ژانویه 2007

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems: Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

نویسنده: Edmund M. Clarke, Flavio Lerda (auth.), Chairman S. Ramesh, Prahladavaradan Sampath (eds.)

ناشر: Springer Netherlands

سال انتشار: 2007

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

زبان: English

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

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