دانلود کتاب The Programming and Proof System ATES: Advanced Techniques Integration into Efficient Scientific Software
| عنوان فارسی | سیستم برنامه نویسی و اثبات: ادغام تکنیک های پیشرفته در نرم افزار علمی کارآمد |
|---|---|
| عنوان اصلی | The Programming and Proof System ATES: Advanced Techniques Integration into Efficient Scientific Software |
| ویرایش | [1 ed.] |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Armand Puccetti (auth.), Armand Puccetti (eds.) |
| ISBN | 9783540541, 9783642845 |
| سال نشر | 1991 |
| زبان | English |
| تعداد صفحات | 341 [349] |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 8 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد