خرید و دانلود نسخه کامل کتاب Logic Based Program Synthesis & Transformation

سنتز برنامه مبتنی بر منطق

Logic Based Program Synthesis & Transformation

نویسنده: Kung-Kiu Lau (editor)

ناشر: Springer

سال انتشار: 2001

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

زبان: English

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

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