دانلود کتاب 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) |
| ناشر | Springer |
| نویسنده | Ganesh Gopalakrishnan (editor), Phillip Windley (editor) |
| ISBN | 3540651918, 9783540651918 |
| سال نشر | 1998 |
| زبان | English |
| تعداد صفحات | 537 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 6 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد
توضیحات
فهرست مطالب
اطلاعات قبل از خربد