دانلود کتاب Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November ... (Lecture Notes in Computer Science, 4789)
| عنوان فارسی | روشهای رسمی و مهندسی نرمافزار: نهمین کنفرانس بینالمللی روشهای مهندسی رسمی، ICFEM 2007، بوکا راتون، فلوریدا، ایالات متحده آمریکا، نوامبر ... (یادداشتهای سخنرانی در علوم کامپیوتر، 4789) |
|---|---|
| عنوان اصلی | Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November ... (Lecture Notes in Computer Science, 4789) |
| ناشر | Springer |
| نویسنده | Michael Butler (editor), Michael G. Hinchey (editor), Maria M. Larrondo-Petrie (editor) |
| ISBN | 3540766480, 9783540766483 |
| سال نشر | 2007 |
| زبان | English |
| تعداد صفحات | 397 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 17 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد