خرید و دانلود نسخه کامل کتاب Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002 Portland, OR, USA, November 6–8, 2002 Proceedings

روشهای رسمی در طراحی به کمک رایانه: چهارمین کنفرانس بین المللی ، FMCAD 2002 پورتلند ، OR ، ایالات متحده ، مجموعه مقالات 6 تا 8 نوامبر 2002

Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002 Portland, OR, USA, November 6–8, 2002 Proceedings

نویسنده: Thomas F. Melham, Robert B. Jones (auth.), Mark D. Aagaard, John W. O’Leary (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2002

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

زبان: English

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

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