Vista normal Vista MARC Vista ISBD

Juárez Ramirez, J. Reyes.

Formalización de la rastreabilidad y la correspondencia entre artefactos de software aplicando teoría de grafos...> [recurso electrónico] / J. Reyes Juárez Ramírez. - Tijuana, Baja California, 2008. - Recurso en línea. (277 p.)

Doctor en ciencias.

Tesis (Doctorado)--Universidad Autónoma de Baja California, Facultad de Ciencias Químicas e Ingeniería, Tijuana, 2008.

Subjects--Topical Terms:
Informática--Tesis.
Procesamiento electrónico de datos--Tesis.
Axiomas--Tesis.

LC Class. No.: QA76 J83 2008