دانلود کتاب Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
by Ralf Hinze
|
عنوان فارسی: ریاضیات از برنامه ساخت و ساز: 12th کنفرانس بین المللی، MPC 2015، کونیگزوینتر، آلمان، 29 ژوئن - جولای 1، 2015. مجموعه مقالات |