دانلود کتاب Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
| عنوان فارسی | مهندسی نرم افزار و روش های رسمی: یازدهمین کنفرانس بین المللی ، SEFM 2013 ، مادرید ، اسپانیا ، 25-27 سپتامبر 2013. مجموعه مقالات |
|---|---|
| عنوان اصلی | Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings |
| ویرایش | [1 ed.] |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Jagadish Suryadevara, Cristina Seceleanu, Frédéric Mallet, Paul Pettersson (auth.), Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti (eds.) |
| ISBN | 9783642405600, 9783642405617 |
| سال نشر | 2013 |
| زبان | English |
| تعداد صفحات | 321 [334] |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 6 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد