Refine your search

Document type
- Objeto de conferencia (3)
Date Issued
- 2005 (3)
Subject
- Ciencias Informáticas (3)
Author
- Aguirre, Nazareno Matías (3)
- Mac Donnell, Patricio (1)
- Novaira, Maria Marta (1)
- Permigiani, Sonia (1)
- Regis, Germán (1)
Keyword

Red de Universidades con Carreras en Informática (RedUNCI)
→
Eventos
→
CACIC
→
CACIC 2005

CACIC 2005

Search

Showing 3 out of a total of 3 results for collection: CACIC 2005. (0.057 seconds)

Now showing items 1-3 of 3

1

Objeto de conferencia

XI Congreso Argentino de Ciencias de la Computación

2005

Verificación de propiedades temporales de diseños community: un caso de estudio

Aguirre, Nazareno Matías; Regis, Germán
Objeto de conferencia

XI Congreso Argentino de Ciencias de la Computación

2005

Hacia la composición paralela de programas en DynAlloy

Aguirre, Nazareno Matías; Novaira, Maria Marta; Permigiani, Sonia
Objeto de conferencia

XI Congreso Argentino de Ciencias de la Computación

2005

Usando el ambiente Maude para la demostración semi-automática de teoremas en lógica temporal lineal de primer orden

Mac Donnell, Patricio; Aguirre, Nazareno Matías

Now showing items 1-3 of 3

1

Results

5
10
20
40
60
80
100

Sort By