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

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

MARC

LEADER 00000naa a2200000 a 4500
003 AR-LpUFIB
005 20250311170318.0
008 230201nuuuu xx r 000 0 ||| d
024 8 |a DIF-M3818  |b 1722  |z DIF003619 
040 |a AR-LpUFIB  |b spa  |c AR-LpUFIB 
100 1 |a Baum, Gabriel Alfredo 
245 1 0 |a Aportes para la verificación eficiente de sistemas utilizando el cálculo relacional 
300 |a p. 111-123 
773 |7 nnam  |t CACIC 2001 [CD-ROM]  |o DIF-02518 
942 |c CP 
952 |0 0  |1 0  |4 0  |6 CD_231  |7 3  |9 78391  |a DIF  |b DIF  |d 2025-03-11  |l 0  |o CD 231   |r 2025-03-11 17:03:18  |w 2025-03-11  |y CP 
999 |c 53467  |d 53467