Mathematics of program construction 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings

International Conference on the Mathematics of Program Construction (2000 Ponte de Lima, Portugal) Roland C Backhouse 1948-; José N Oliveira

Berlin Springer New York c2000

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1837 ) e outros locais(Acessar)