دانلود کتاب Mathematics of Program Construction: Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings



زبان : English

نویسندگان : Krzysztof R. Apt (auth.), Bernhard Möller (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 1995

ISBN (شابک) : 3540601171, 9783540601173

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

سری : Lecture Notes in Computer Science 947

تعداد صفحات : 479[481]

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

فرمت کتاب : djvu

قیمت : 36000 تومان