Navegar

Colección

Datos Estadísticas

Lista de

Verificación Formal de Sistemas Concurrentes y Distribuidos
1
Verificación Formal de Sistemas Concurrentes y Distribuidos (1992). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación