Métodos formais para o desenvolvimento de programas /

Guardado en:
Detalles Bibliográficos
Autor principal: Alencar, Paulo S. C. de.
Otros Autores: Lucena, Carlos J. P. de., Escuela Brasileño-Argentina de Informática
Formato: Libro
Lenguaje:
Publicado: Buenos Aires : Kapelusz, 1988.
Colección:EBAI
Descripción
Notas:"Versão preliminar publicada na IV Escola Brasileiro-Argentina de Informática, Santiago del estero-Janeiro de 1989".
Descripción Física:175 p. ; cm.
Bibliografía:Incluye referencias bibliográficas e índice.
ISBN:9501398781