دانلود کتاب Data Refinement: Model-Oriented Proof Methods and their Comparison
| عنوان فارسی | پالایش داده ها: روش های اثبات مدل گرا و مقایسه آنها |
|---|---|
| عنوان اصلی | Data Refinement: Model-Oriented Proof Methods and their Comparison |
| ناشر | Cambridge University Press |
| نویسنده | Willem-Paul de Roever, Kai Engelhardt |
| ISBN | 9780511663079, 9780521103503 |
| سال نشر | 2008 |
| زبان | English |
| تعداد صفحات | 436 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 17 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد