Top 229 davi ponte PDF Book Page 10

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