|
|
|
|
| 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
|
