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)