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

روشهای رسمی در طراحی به کمک رایانه: سومین کنفرانس بین المللی ، FMCAD 2000 آستین ، TX ، ایالات متحده ، 1-3 نوامبر ، 2000 مجموعه مقالات (یادداشت های سخنرانی در علوم کامپیوتر ، 1954)

Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings (Lecture Notes in Computer Science, 1954)

نویسنده: Warren A. Jr. Hunt (editor), Steven D. Johnson (editor)

ناشر: Springer

سال انتشار: 2000

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

زبان: English

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

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