Métodos formais para o desenvolvimiento de programas /

Mostrar otras versiones (2)
Guardado en:
Detalles Bibliográficos
Autor principal: Alencar, Paulo S.C. de
Otros Autores: Lucena, Carlos J.P. de
Formato: Libro
Lenguaje:Portugués
Publicado: Buenos Aires : Kapelusz, 1989
Edición:edición preliminar.
Colección:EBAI IV
Materias:
Computación
Métodos iterativos
Programas de computación
Verificación
Métodos formales
Métodos de transformación
VDM
Aporte de:Registro referencial: Solicitar el recurso aquí
Sistema de Bibliotecas de la UNICEN de Universidad Nacional del Centro
Search Result 1
por Alencar, Paulo Sergio C. de
Publicado 1989
Aportado por: Biblioteca Central Dr. Luis F. Leloir (FCEN)
Libro
Agregar a favoritos
Guardado en:
Search Result 2
por Alencar, Paulo S. C. de
Publicado 1989
Aportado por: Biblioteca UNPSJB
Libro
Agregar a favoritos
Guardado en:
Mostrar todas las versiones(3)

Ejemplares similares