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...

全面介紹

書目詳細資料

企業作者:	Encuentro Internacional de Vinculación Empresa-Escuela Asia/Jalisco ( ITESO)
其他作者:	Ramesh, S. (conferencia)
格式:	Procedimiento de la conferencia 幻燈片
語言:	西班牙语
出版:	Guadalajara, México : ITESO, 2005
叢編:	(Encuentro Internacional de Vinculación Empresa-Escuela Asia/Jalisco ; 18)
主題:	Ingenieros Hindúes Académicos Hindúes Universidad y Empresa - > Congresos - > Tema Principal Paquetes (Software) - > Prueba y Medición - > Tema Principal Depuración (Software) Desarrollo de Sistemas Programación (Software) Seguridad Industrial - > Tema Principal Diseño Industrial Ingeniería Industrial Ingeniería de Software Ingeniería Computacional Educación y Trabajo - > Congresos - > Tema Principal Ramesh, S.
標簽:	添加標簽 沒有標簽, 成為第一個標記此記錄!