Una herramienta para verificación formal de especificaciones gráficas orientadas a objetos
Cengia, Javier Andrés
- Título:
- Una herramienta para verificación formal de especificaciones gráficas orientadas a objetos
- Autor:
- Cengia, Javier Andrés
- Otros autores / Colaboradores:
- Pons, Claudia Fabiana; [ Director/a]
- Temas:
- INGENIERÍA DE SOFTWARE ASISTIDA POR COMPUTADORA - CASE; INGENIERÍA HUMANA; IBM WEBSPHERE BUSINESS COMPONENTS COMPOSER;
- URL:
- ,
- Nota de tesis:
- Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2003.
- Extensión:
- 144 p. : il. + 1 CD-ROM
Puede solicitar más fácilmente el ejemplar con: TES 03/05
Sólo se cuenta con disponibilidad para sala de lectura.
Disponibilidad Actual Para Préstamo: 0 Disponibilidad Actual Para Sala de Lectura: 1 Cantidad Actual de Reservas: 0 Cantidad Actual de Préstamos: 0