Reasoning About Program Transformations

خرید و دانلود نسخه کامل کتاب Reasoning About Program Transformations

استدلال درباره تحولات برنامه

Reasoning About Program Transformations

نویسنده: Jean-Francois Collard

ناشر: Springer

سال انتشار: 2002

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

زبان: English

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

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

112,000 تومان 79,000 تومان