خرید و دانلود نسخه کامل کتاب Formal Semantics and Proof Techniques for Optimizing VHDL Models

معناشناسی رسمی و تکنیک های اثبات برای بهینه سازی مدل های VHDL

Formal Semantics and Proof Techniques for Optimizing VHDL Models

نویسنده: Kothanda Umamageswaran, Sheetanshu L. Pandey, Philip A. Wilsey (auth.)

ناشر: Springer US

سال انتشار: 1999

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

زبان: English

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

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