خرید و دانلود نسخه کامل کتاب Verification and Control of Hybrid Systems: A Symbolic Approach

راستی‌آزمایی و کنترل سیستم‌های ترکیبی: رویکردی نمادین

Verification and Control of Hybrid Systems: A Symbolic Approach

نویسنده: Paulo Tabuada (auth.)

ناشر: Springer US

سال انتشار: 2009

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

زبان: English

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

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