خرید و دانلود نسخه کامل کتاب Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015

مدل سازی رسمی و تأیید سیستم های فیزیکی سایبر: اولین مدرسه بین المللی تابستانی در مورد روش ها و ابزارهای طراحی سیستم های دیجیتال ، برمن ، آلمان ، سپتامبر 2015

Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015

نویسنده: Rolf Drechsler, Ulrich Kühne (eds.)

ناشر: Springer Vieweg

سال انتشار: 2015

تعداد صفحات: 313 [324]

زبان: English

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

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