Top 309 petra ponte PDF Book Page 13

book image

Mathematics of Program Construction: 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings

Mark P. Jones (auth.), Roland Backhouse, José Nuno Oliveira (eds.)
·265 Pages
·2000
·2.01 MB