|
1.
|
Verificación modular de atomicidad en bytecode Java Multi-Thread Bavera, Francisco
|
|
2.
|
Aplicaciones de ingeniería de software centradas en el contexto y su uso en autopistas inteligentes Bigatti, Analía Gabriela - Ierache, Jorge - Messina, Miguel A.
|
|
3.
|
Notas metodológicas para cubrir la etapa de documentar una investigación Texier, José
|
