Término de búsqueda: Estantes virtuales de: The temporal logic of reactive and concurrent systems
Cantidad de Registros: 1 en (0.047944 segundos)
Estante
Material de Cátedra / Licenciatura en Sistemas, Licenciatura en Informática y APU (Plan 2015), Analista en TIC (Plan 2017) / Teoría de la Computación y Verificación de Programas Avanzada (Optativa) / Bibliografía complementaria