Mathematics of program construction 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings
MPC 2002 (2002 Dagstuhl Castle, Germany) Eerke Boiten 1966-; Bernhard Möller 1953-
Berlin Springer New York 2002
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2386 ) e outros locais(Acessar)