Versión - Aportes para la verificación eficiente de sistemas utilizando el cálculo relacional
-
1
Aportes para la verificación eficiente de sistemas utilizando el cálculo relacional
Publicado en CACIC 2001 [CD-ROM]Consultar en el Cátalogo
Capítulo de libro