خرید و دانلود نسخه کامل کتاب Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings

ریاضیات ساخت برنامه: ششمین کنفرانس بین المللی ، MPC 2002 قلعه داگستول ، آلمان ، 8-10-10 ژوئیه مجموعه مقالات

Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings

نویسنده: Robert Giegerich, Peter Steffen (auth.), Eerke A. Boiten, Bernhard Möller (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2002

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

زبان: English

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

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