دانلود کتاب Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002. Revised Papers
| عنوان فارسی | روشهای رسمی در تقاطع از نوش دارو تا حمایت بنیادی: کنفرانس دهمین سالگرد UNU/IIST، مؤسسه بین المللی فناوری نرم افزار دانشگاه ملل متحد، لیسبون، پرتغال، 18 تا 20 مارس 2002. مقالات تجدید نظر شده |
|---|---|
| عنوان اصلی | Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002. Revised Papers |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Tom Maibaum (auth.), Bernhard K. Aichernig, Tom Maibaum (eds.) |
| ISBN | 9783540205272, 9783540400073 |
| سال نشر | 2003 |
| زبان | English |
| تعداد صفحات | 467 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 6 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد