دانلود کتاب Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
by Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Jeremy Gibbons, Pablo Nogueira (eds.)
|
عنوان فارسی: ریاضیات از برنامه ساخت و ساز : 11TH کنفرانس بین المللی، MPC 2012 ، مادرید، اسپانیا ، ژوئن 25-27، 2012. مجموعه مقالات |
دانلود کتاب
جزییات کتاب
درباره نویسنده
![](https://upload.wikimedia.org/wikipedia/commons/thumb/3/3b/Two_women_operating_ENIAC.gif/50px-Two_women_operating_ENIAC.gif)