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