Foundations of software science and computation structures Second International Conference, FOSSACS '99 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings
FOSSACS '99 (2nd. 1999 Amsterdam, Netherlands) Wolfgang Thomas 1947-; International Joint Conference on Theory and Practice of Software Development (9th 1999 Amsterdam, Netherlands)
Berlin New York Springer-Verlag c1999
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1578 ) e outros locais(Acessar)
Recent trends in data type specification selected papers
Workshop on Specification of Abstract Data Types (10. 1994 S. Margherita) Egidio Astesiano; Gianna Reggio; Andrzej Tarlecki; Compass Workshop (5. 1994 S. Margherita)
Berlin Springer 1995
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.906 e.1 ) e outros locais(Acessar)