|
|
|
|
LEADER |
00000nam a2200000 a 4500 |
003 |
AR-LpUFIB |
005 |
20250423182918.0 |
008 |
230201s1996 ag rm 000 0 spa d |
024 |
8 |
|
|a DIF-M1374
|b 1419
|z DIF001368
|
040 |
|
|
|a AR-LpUFIB
|b spa
|c AR-LpUFIB
|
100 |
1 |
|
|a Turquie, Isaac Carlos
|9 44923
|
245 |
1 |
0 |
|a TRIO o cómo ahora las tautologías son tautologías y el infinito es infinito
|
260 |
|
|
|c 1996
|
300 |
|
|
|a 181 p. ;
|c 30 cm +
|e 1 disquete 5 3/4
|
502 |
|
|
|a Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Ciencias Exactas, 1996.
|
650 |
|
4 |
|a SISTEMAS DE TIEMPO REAL
|9 42703
|
650 |
|
4 |
|a CHEQUEO DE MODELOS
|9 44924
|
650 |
|
4 |
|a VERIFICACIÓN DE PROGRAMAS
|9 42928
|
700 |
1 |
|
|a Felder, Miguel A. ,
|e Director/a
|9 44925
|
942 |
|
|
|c TE
|
952 |
|
|
|0 0
|1 0
|4 0
|6 TES_9612
|7 1
|9 75049
|a DIF
|b DIF
|d 2006-07-17
|i DIF-01958
|l 0
|o TES 96/12
|p DIF-01958
|r 2025-03-11 17:02:08
|w 2025-03-11
|x + DK-28 (1959)
|y TE
|
999 |
|
|
|c 51316
|d 51316
|