خرید و دانلود نسخه کامل کتاب Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings

ریاضیات ساخت برنامه: هفتمین کنفرانس بین المللی ، MPC 2004 ، استرلینگ ، اسکاتلند ، انگلیس ، 12 تا 14 ژوئیه 2004. مجموعه مقالات

Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings

نویسنده: Greg Nelson (auth.), Dexter Kozen (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2004

تعداد صفحات: 404 [412]

زبان: English

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

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