Cargando…

Revisiones técnicas formales automatizadas como apoyo al desarrollo orientado a objetos

Detalles Bibliográficos
Autor principal: Hernández González, Lizbeth Alejandra
Formato: Tesis Libro
Lenguaje:Spanish
Publicado: Xalapa, Ver. : [s. n.], 2008.
Materias:

Ejemplares similares