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

روش‌های رسمی در طراحی به کمک رایانه: دومین کنفرانس بین‌المللی، FMCAD '98، پالو آلتو، کالیفرنیا، ایالات متحده آمریکا، 4-6 نوامبر 1998، مجموعه مقالات (یادداشت‌های سخنرانی در علوم رایانه، 1522)

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings (Lecture Notes in Computer Science, 1522)

نویسنده: Ganesh Gopalakrishnan (editor), Phillip Windley (editor)

ناشر: Springer

سال انتشار: 1998

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

زبان: English

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

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