ponte

ریاضیات ساخت برنامه: پنجمین کنفرانس بین المللی، MPC 2000، پونت دی لیما، پرتغال، 3-5 ژوئیه، 2000 مجموعه مقالات

دانلود کتاب Mathematics of Program Construction: 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings (به فارسی: ریاضیات ساخت برنامه: پنجمین کنفرانس بین المللی، MPC 2000، پونت دی لیما، پرتغال، 3-5 ژوئیه، 2000 مجموعه مقالات) نوشته شده توسط «Mark P. Jones (auth.) – Roland Backhouse – José Nuno Oliveira (eds.)» اطلاعات کتاب ریاضیات ساخت برنامه: پنجمین کنفرانس بین المللی، MPC 2000، پونت دی لیما، پرتغال، 3-5 ژوئیه، 2000 مجموعه مقالات موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Mark P. Jones (auth.) – Roland Backhouse – José Nuno Oliveira (eds.) زبان: English فرمت…