Formal description of programming concepts-III proceedings of the IFIP TC2/WG2.2 Working Conference on Formal Description of Programming Concepts Ebberup, Denmark 25-28 August, 1986
IFIP TC2/WG2.2 Working Conference on Formal Description of Programming Concepts-III (1986 Ebberup, Denmark) M Wirsing (Martin)
Amsterdam Oxford North-Holland 1987
Localização: IME - Inst. Matemática e Estatística (QA754.C W926f 3. )(Acessar)