Por favor, use este identificador para citar o enlazar este ítem:
https://hdl.handle.net/20.500.12008/47082
Cómo citar
Título: | Especificación de contratos de software con JML y Eiffel. |
Autor: | Arrospide, Gabriel Casella, Vanessa |
Tutor: | Vallespir, Diego Moreno, Silvana |
Tipo: | Tesis de grado |
Fecha de publicación: | 2014 |
Editorial: | Udelar.FI |
Citación: | Arrospide, G. y Casella, V. Especificación de contratos de software con JML y Eiffel [en línea]. Tesis de grado. Montevideo : Udelar. FI. INCO, 2014. |
Título Obtenido: | Ingeniero en Computación |
Facultad o Servicio que otorga el Título: | Universidad de la República (Uruguay). Facultad de Ingeniería. |
Licencia: | Licencia Creative Commons Atribución - No Comercial - Sin Derivadas (CC - By-NC-ND 4.0) |
Aparece en las colecciones: | Tesis de grado - Instituto de Computación |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | ||
---|---|---|---|---|---|
AC14.pdf | Tesis de grado | 589,04 kB | Adobe PDF | Visualizar/Abrir |
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons