Verificación formal para software industrial para aplicaciones de seguridad crítica : perspectiva para cinco años /

El Encuentro Internacional de Vinculación Empresa-Escuela Asia/Jalisco fue un encuentro cultural, académico y empresarial que se celebró de agosto a noviembre del 2005 en la ciudad de Guadalajara, que buscaba fortalecer la internacionalización educativa como factor para el desarrollo, la innovación...

Description complète

Détails bibliographiques
Collectivité auteur: Encuentro Internacional de Vinculación Empresa-Escuela Asia/Jalisco ( ITESO)
Autres auteurs: Ramesh, S. (conferencia) (conferencia)
Format: Actes de congrès Diapositive
Langue:espagnol
Publié: Guadalajara, México : ITESO, 2005
Collection:(Encuentro Internacional de Vinculación Empresa-Escuela Asia/Jalisco ; 18)
Sujets:
Informations d'exemplaires de IT2
Cote:
378. 017 ITESO 2005 V. 18
Ejemplar 0500217728
Disponible
Préstamo 7 días a 14
Collection:
DVDs audiovisuales para préstamo
Notes:
Solicitar en Nivel 2 Sur Área de Audiovisuales y Periódicas