Lógica de pruebas para certificación de computación móvil

Detalles Bibliográficos
Autor Principal: Feller, Federico
Otros autores o Colaboradores: Bonelli, Eduardo (Director/a), Baum, Gabriel Alfredo (Codirector/a)
Formato: Tesis
Lengua:español
Datos de publicación: 2009
Temas:
Acceso en línea:http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=1008
Consultar en el Cátalogo
Descripción Física:86 p. ; 30 cm. + 1 CD-ROM

MARC

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