خرید و دانلود نسخه کامل کتاب Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1–3, 2000 Proceedings

روش های رسمی در طراحی با کمک رایانه: سومین کنفرانس بین المللی ، FMCAD 2000 آستین ، TX ، ایالات متحده آمریکا ، مقالات 1 تا 3 نوامبر ، 2000

Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1–3, 2000 Proceedings

نویسنده: Robert Beers, Rajnish Ghughal, Mark Aagaard (auth.), Warren A. Hunt Jr., Steven D. Johnson (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2000

تعداد صفحات: 552 [573]

زبان: English

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

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