دانلود کتاب Symbolic Methods Applied to Formal Verification and Synthesis in Embedded Systems Design
by Karsten Strehl|
|
عنوان فارسی: روش نمادین کاربردی به تأیید رسمی و سنتز در سیستم های جاسازی شده طراحی |


دانلود کتاب

این کتاب رو مطالعه کردید؟ نظر شما چیست؟