خرید و دانلود نسخه کامل کتاب Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings

روشهای رسمی در طراحی به کمک رایانه: دومین کنفرانس بین المللی ، FMCAD 98 Palo Alto ، CA ، USA ، 4 تا 6 نوامبر 1998 مجموعه مقالات

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings

نویسنده: Kenneth L. McMillan (auth.), Ganesh Gopalakrishnan, Phillip Windley (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1998

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

زبان: English

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

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