Cargando…
Revisiones técnicas formales automatizadas como apoyo al desarrollo orientado a objetos
Autor principal: | |
---|---|
Formato: | Tesis Libro |
Lenguaje: | Spanish |
Publicado: |
Xalapa, Ver.
: [s. n.],
2008.
|
Materias: |
Economía, Estadística, Informática y Geografía Xalapa -
Número de Clasificación: |
INF846 |
---|---|
Copia 1 |
Disponible
Hacer reserva
Notas:
|