خرید و دانلود نسخه کامل کتاب 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

نویسنده: Armand Puccetti (auth.), Armand Puccetti (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1991

تعداد صفحات: 341 [349]

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 8 مگابایت