TY  - BOOK
AU  - Feller,Federico
AU  - Bonelli,Eduardo
AU  - Baum,Gabriel Alfredo
TI  - Lógica de pruebas para certificación de computación móvil
PY  - 2009///
KW  - LÓGICA COMPUTACIONAL
N1  -  Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2009;  Introducción -- Lógica de pruebas -- Cálculo para certificados de código móvil -- Propiedades -- Extensiones -- Implementación -- Conclusiones
UR  -  http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=1008
ER  -