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)