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

Título:

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

Nombre personal (NR):

Baum, Gabriel Alfredo

Articulo de: 

CACIC 2001 [CD-ROM] / Edición: 1a ed. (2001) (Libro)

Extensión (R):

p. 111-123

Puede solicitar más fácilmente el ejemplar con: CD 231