خرید و دانلود نسخه کامل کتاب Formal Methods for Discrete-Time Dynamical Systems

روش‌های رسمی برای سیستم‌های دینامیکی زمان گسسته

Formal Methods for Discrete-Time Dynamical Systems

نویسنده: Calin Belta, Boyan Yordanov, Ebru Aydin Gol

ناشر: Springer

سال انتشار: 2017

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

زبان: English

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

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