دانلود کتاب 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 |
| ویرایش | [1 ed.] |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Robert Beers, Rajnish Ghughal, Mark Aagaard (auth.), Warren A. Hunt Jr., Steven D. Johnson (eds.) |
| ISBN | 3540412190, 9783540412199 |
| سال نشر | 2000 |
| زبان | English |
| تعداد صفحات | 552 [573] |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 5 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد