Mathematics of Program Construction [E-Book]: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings / edited by Jeremy Gibbons, Pablo Nogueira.
Gibbons, Jeremy.
Nogueira, Pablo.
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
digital.
englisch
9783642311130
10.1007/978-3-642-31113-0
Lecture notes in computer science ; 7342
Full Text
Description not available.