Dados do Acervo - Livros
Número de Chamada
004.0151063 W925w
Autor Principal
Workshop on Formal Methods (5: 2002 out. 15-16: Gramado, RS)
Título Principal
Proceedings of 5. Workshop on Formal Methods / edição Alfio Martini, David Déharbe
Outros Títulos
Proceedings of 5. WMF
Publicação
Porto Alegre : Instituto de Informática da UFRGS, 2002.
Descrição Física
xii, 341 p. : il. ; 23 cm
Notas
Inclui bibliografia e índice
Texto em inglês e Português
ISBN
8588442345 (broch.)
Assuntos
Métodos formais (Computação) - Congressos