Dados do Acervo - Livros
Número de Chamada
005.1060 W925a
Autor Principal
Workshop Brasileiro de Métodos Formais (1. : 1998 out. 19-21 : Porto Alegre, RS)
Entradas Secundárias - Autor
Nunes, Daltro José , ed.
Título Principal
Anais do 1. Workshop Brasileiro de métodos formais Editor Daltro José Nunes
Publicação
Porto Alegre : Instituto de Informática - UFRGS, 1998.
Descrição Física
viii, 162 p. : il. ; 21 cm
Notas
Inclui bibliografias
Assuntos
Software Desenvolvimento
Métodos formais (Computação)