ریاضیات ساخت برنامه: دهمین کنفرانس بین المللی ، MPC 2010 ، شهر کبک ، کانادا ، 21-23 ژوئن 2010 ، مجموعه مقالات (یادداشت های سخنرانی در علوم کامپیوتر ، 6120)
Mathematics of Program Construction: 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings (Lecture Notes in Computer Science, 6120)
نویسنده: Claude Bolduc (editor), Jules Desharnais (editor), Bechir Ktari (editor)
ناشر: Springer
سال انتشار: 2010
تعداد صفحات: 435
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 6 مگابایت