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

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

Mathematics of Program Construction: 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings (Lecture Notes in Computer Science, 1837)

نویسنده: Roland Backhouse (editor), Jose Nuno Oliveira (editor)

ناشر: Springer

سال انتشار: 2000

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

زبان: English

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

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