1
|
Material Type: Livro
|
|
Recent trends in algebraic development techniques 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers
WADT '98 (1998 Lisbon, Portugal) José Luiz Fiadeiro 1961-
Berlin Springer New York c1999
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1589 e.1 ) e outros locais(Acessar)
|
2
|
Material Type: Livro
|
|
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)
|