Revisión sistemática a la literatura para determinar los enfoques de la investigación en verificación formal del software
Ubicación en Biblioteca USB Medellín (San Benito): CD-1922t.
| Autor Principal: | Morales Valencia, David Alejandro |
|---|---|
| Formato: | info:eu-repo/semantics/bachelorThesis |
| Idioma: | spa |
| Publicado: |
Ingenierias
2012
|
| Materias: | |
| Acceso en línea: |
http://hdl.handle.net/10819/537 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| Sumario: |
Ubicación en Biblioteca USB Medellín (San Benito): CD-1922t. |
|---|