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

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

Formal Methods for Discrete-Time Dynamical Systems

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

ناشر: Springer

سال انتشار: 2017

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

زبان: english

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

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