Feller, Federico <br/><br/>
Lógica de pruebas para certificación de computación móvil 

 -  2009 
 - 86 p.   ;  30 cm.   +  1 CD-ROM 
<br/><br/>Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2009. 
<br/><br/>Introducción -- Lógica de pruebas -- Cálculo para certificados de código móvil -- Propiedades -- Extensiones -- Implementación -- Conclusiones. 
<br/><br/><label>Standard No.: </label>DIF-M2939 
<br/><br/><label>Subjects--Topical Terms: </label><br/>LÓGICA COMPUTACIONAL