خرید و دانلود نسخه کامل کتاب Synchronous Equivalence: Formal Methods for Embedded Systems

برابری همزمان: روش های رسمی برای سیستم های جاسازی شده

Synchronous Equivalence: Formal Methods for Embedded Systems

نویسنده: Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli (auth.)

ناشر: Springer US

سال انتشار: 2001

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

زبان: English

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

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