Instituto de Computação   Departamento de Teoria da Computação   Produções / Livros publicados Livros Didáticos   Publicados sem reedição   1.   MOURA, Arnaldo Vieira; "Especificações em Z: Uma Introdução", 03/2002, ed. 1, Editora da Unicamp, pp. 300, pp.1-300, 2002