Elaboración de prototipo utilizando lenguaje formal Z para la especificación de los requerimientos del sistema de proveedores de la Empresa "Casa Mántica, S.A."

Elaboración de prototipo utilizando lenguaje formal Z para la especificación de los requerimientos del sistema de proveedores de la Empresa "Casa Mántica, S.A."

Detalles Bibliográficos
Autor principal: Pérez Guerrero, Hazell Cristina
Formato: Libro
Lenguaje:Undetermined
Publicado: NI UNAN, Managua 2003
Materias:
Automatización | Computación-Monografías-2003 | Lenguajes formales | Sistemas de almacenamiento y recuperación de información

Ejemplares similares

Ejemplares similares