Mathematics of Program Construction: 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings (Lecture Notes in ... Notes in Computer Science (1837), Band 1837)

Construction

von Roland Backhouse

Taschenbuch

ISBN: 978-3-540-67727-7

ISBN-10: 3-540-67727-5

Springer · 2000