دانلود کتاب Mathematics of Program Construction: 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings
ریاضیات ساخت برنامه: پنجمین کنفرانس بین المللی ، MPC 2000 ، پونته دی لیما ، پرتغال ، 3-5 ژوئیه ، 2000 مجموعه مقالات
زبان : English
نویسندگان : Mark P. Jones (auth.), Roland Backhouse, José Nuno Oliveira (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2000
ISBN (شابک) : 3540677275, 9783540677277
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 1837
تعداد صفحات : 262[264]
حجم : 2 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان