خرید و دانلود نسخه کامل کتاب Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development

توسعه برنامه در منطق محاسباتی: یک دهه از پیشرفتهای تحقیق در توسعه برنامه مبتنی بر منطق

Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development

نویسنده: Kung-Kiu Lau, Mario Ornaghi (auth.), Maurice Bruynooghe, Kung-Kiu Lau (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2004

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

زبان: English

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

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