خرید و دانلود نسخه کامل کتاب Mathematics of Program Construction: 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings

ریاضیات ساخت برنامه: پنجمین کنفرانس بین المللی ، MPC 2000 ، پونته دی لیما ، پرتغال ، 3-5 ژوئیه ، 2000 مجموعه مقالات

Mathematics of Program Construction: 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings

نویسنده: Mark P. Jones (auth.), Roland Backhouse, José Nuno Oliveira (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2000

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

زبان: English

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

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