دانلود کتاب Mathematics of Program Construction: 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings

ریاضیات ساخت برنامه: نهمین کنفرانس بین المللی ، MPC 2008 ، مارسی ، فرانسه ، 15 تا 18 ژوئیه ، 2008. مجموعه مقالات

زبان : English

نویسندگان : Ralf Hinze (auth.), Philippe Audebaud, Christine Paulin-Mohring (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2008

ISBN (شابک) : 3540705937, 9783540705932

ویرایش : [1 ed.]

سری : Lecture Notes in Computer Science 5133 : Theoretical Computer Science and General Issues

تعداد صفحات : 423[430]

حجم : 4 مگابایت

فرمت کتاب : pdf

قیمت : 36000 تومان