خرید و دانلود نسخه کامل کتاب The Programming and Proof System ATES: Advanced Techniques Integration into Efficient Scientific Software

سیستم برنامه نویسی و اثبات ATES: ادغام تکنیک های پیشرفته در نرم افزار علمی کارآمد

The Programming and Proof System ATES: Advanced Techniques Integration into Efficient Scientific Software

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

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1991

تعداد صفحات: 349

زبان: English

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

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