خرید و دانلود نسخه کامل کتاب Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings

روش‌های رسمی در طراحی به کمک رایانه: اولین کنفرانس بین‌المللی، FMCAD '96 پالو آلتو، کالیفرنیا، ایالات متحده آمریکا، 6-8 نوامبر 1996 مجموعه مقالات

Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings

نویسنده: Kurt Keutzer (auth.), Mandayam Srivas, Albert Camilleri (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1996

تعداد صفحات: 478 [479]

زبان: English

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

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