Aportes para la verificación eficiente de sistemas utilizando el cálculo relacional

Mostrar todas las versiones(2)
Detalles Bibliográficos
Publicado en: CACIC 2001 [CD-ROM] - .
Autor Principal: Baum, Gabriel Alfredo
Formato: Capítulo de libro
Acceso en línea:Consultar en el Cátalogo
Descripción Física:p. 111-123

Consultar en el catálogo de Biblioteca de la Facultad de Informática

Ejemplares similares