خرید و دانلود نسخه کامل کتاب Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics

تحلیل منطقی سیستم های ترکیبی: اثبات قضایای دینامیک پیچیده

Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics

نویسنده: André Platzer (auth.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2010

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

زبان: English

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

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