5 Universidad de la República

Luna, Carlos 2 Betarte Guidi, Gustavo 2 Mazeikis, Gustavo 1 Echenique, Paula 1 Sierra Abbate, Luis Ricardo 1 Zanella Béguelin, Santiago

Reporte técnico

Coq 2 Especificaciones Formales 2 MIDP 2 Teoría de Tipos 1 Calculus of Inductive Constructions 1 Dispositivos Móviles Interactivos 1 Enseñanza de la Programación 1 Especificación y Verificación Formal 1 Formal specification 1 Interactive Mobile Devices 1 Java Micro Edition 1 MIDP 2.0 1 Microcontroladores (PICs) 1 Modelo de Seguridad más ... 1 Programación Funcional 1 Programación Imperativa 1 Security 1 Sistemas Reactivos y de Tiempo Real ver todos ... menos ...