دانلود کتاب Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings
ریاضیات ساخت برنامه: هفتمین کنفرانس بین المللی ، MPC 2004 ، استرلینگ ، اسکاتلند ، انگلیس ، 12 تا 14 ژوئیه 2004. مجموعه مقالات
زبان : English
نویسندگان : Greg Nelson (auth.), Dexter Kozen (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2004
ISBN (شابک) : 3540223800, 9783540223801, 9783540277644
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 3125
تعداد صفحات : 404[412]
حجم : 7 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان
