Separation Logic for High-level Synthesis

خرید و دانلود نسخه کامل کتاب Separation Logic for High-level Synthesis

منطق جداسازی برای سنتز سطح بالا

Separation Logic for High-level Synthesis

نویسنده: Felix Winterstein (auth.)

ناشر: Springer International Publishing

سال انتشار: 2017

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

زبان: English

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

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

105,000 تومان 69,000 تومان