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!
BIB. MATEMATICA
Volumen/Tomo: No especificado
Ejemplares: 2
Signatura: 68 Al368