|
|
|
|
LEADER |
00000nam a2200000 a 4500 |
003 |
AR-LpUFIB |
005 |
20250311170257.0 |
008 |
230201s2009 ag rm 000 0 spa d |
024 |
8 |
|
|a DIF-M2939
|b 3035
|z DIF002847
|
040 |
|
|
|a AR-LpUFIB
|b spa
|c AR-LpUFIB
|
100 |
1 |
|
|a Feller, Federico
|
245 |
1 |
0 |
|a Lógica de pruebas para certificación de computación móvil
|
260 |
|
|
|c 2009
|
300 |
|
|
|a 86 p. ;
|c 30 cm. +
|e 1 CD-ROM
|
502 |
|
|
|a Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2009.
|
505 |
0 |
|
|a Introducción -- Lógica de pruebas -- Cálculo para certificados de código móvil -- Propiedades -- Extensiones -- Implementación -- Conclusiones.
|
650 |
|
4 |
|a LÓGICA COMPUTACIONAL
|
700 |
1 |
|
|a Bonelli, Eduardo ,
|e Director/a
|
700 |
1 |
|
|a Baum, Gabriel Alfredo ,
|e Codirector/a
|
856 |
4 |
0 |
|u http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=1008
|
942 |
|
|
|c TE
|
952 |
|
|
|0 0
|1 0
|4 0
|6 TES_0922
|7 1
|9 77473
|a DIF
|b DIF
|d 2010-09-24
|i DIF-03527
|l 0
|o TES 09/22
|p DIF-03527
|r 2025-03-11 17:02:57
|w 2025-03-11
|y TE
|
952 |
|
|
|0 0
|1 0
|4 0
|7 3
|8 BD
|9 77474
|a DIF
|b DIF
|d 2025-03-11
|l 0
|r 2025-03-11 17:02:57
|u http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=1008
|w 2025-03-11
|y TE
|
999 |
|
|
|c 52711
|d 52711
|