Métodos formais para o desenvolvimento de programas /

Guardado en:
Autor Principal: Alencar, Paulo S. C. de.
Autor Corporativo: Escola Brasileiro-Argentina de Informática
Otros Autores: Lucena, Carlos J. P. de.
Formato: Libro
Idioma:Portuguese
Publicado: Buenos Aires : Kapelusz, [1988]
Edición:[Ed. preliminar].
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
descripción de la copia:"Versão preliminar publicada na IV Escola Brasileiro-Argentina de Informática, Santiago del Estero, Janeiro de 1989".
Descripción Física:x, 175 p. ; 23 cm.
Bibliografía:Incluye referencias bibliográficas.
ISBN:9501398781