سیستم های جاسازی شده ارتباطی: نرم افزار و طراحی: روش های رسمی
Communicating Embedded Systems: Software and Design: Formal Methods
نویسنده: Jard, Claude (editor);Roux, Olivier H. (editor)
ناشر: Wiley-ISTE
سال انتشار: 2009
تعداد صفحات: 266
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 3 مگابایت