دانلود کتاب Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
| عنوان فارسی | روش های دقیق ساخت و تجزیه و تحلیل نرم افزار: مقاله هایی اختصاص داده شده به ایگون بورگر به مناسبت 60 سالگی |
|---|---|
| عنوان اصلی | Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Sylvain Boulmé (auth.), Jean-Raymond Abrial, Uwe Glässer (eds.) |
| ISBN | 9783642114465, 9783642114472 |
| سال نشر | 2009 |
| زبان | English |
| تعداد صفحات | 247 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 4 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد