خرید و دانلود نسخه کامل کتاب Symbolic Methods Applied to Formal Verification and Synthesis in Embedded Systems Design

روش های نمادین به کار رفته در تأیید رسمی و سنتز در طراحی سیستم های جاسازی شده

Symbolic Methods Applied to Formal Verification and Synthesis in Embedded Systems Design

نویسنده: Karsten Strehl

سال انتشار: 2000

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

زبان: English

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

حجم فایل: 933 کیلوبایت