ریاضیات ساخت برنامه: دهمین کنفرانس بین المللی ، MPC 2010 ، شهر کبک ، کانادا ، 21 تا 23 ژوئن ، 2010. مجموعه مقالات
Mathematics of Program Construction: 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings
نویسنده: Roland Backhouse, Wei Chen, João F. Ferreira (auth.), Claude Bolduc, Jules Desharnais, Béchir Ktari (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 2010
تعداد صفحات: 435
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 4 مگابایت