دانلود کتاب Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings

ریاضیات ساخت برنامه: ششمین کنفرانس بین المللی ، MPC 2002 قلعه داگستول ، آلمان ، 8 تا 10 ژوئیه ، 2002 مجموعه مقالات

زبان : English

نویسندگان : Robert Giegerich, Peter Steffen (auth.), Eerke A. Boiten, Bernhard Möller (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2002

ISBN (شابک) : 3540438572, 9783540438571

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

سری : Lecture Notes in Computer Science 2386

تعداد صفحات : 266[272]

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

فرمت کتاب : pdf

قیمت : 36000 تومان