Su búsqueda retornó 2 resultados.

Resultados
	1.	Dependable software engineering: theories, tools, and applications : first international symposium, setta 2015, nanjing, china, november 4-6, 2015, proceedings / edited by Xuandong Li, Zhiming Liu, Wang Yi. por Li, Xuandong [editor.] Liu, Zhiming [editor.] Yi, Wang [editor.] SpringerLink (Servicio en línea) Series Lecture Notes in Computer Science ; 9409 Edición: 1st ed. 2015. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Springer, 2015 Acceso en línea: Conectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL) Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	2.	Formal Modeling and Analysis of Timed Systems : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings / edited by Paul Pettersson, Wang Yi. por Pettersson, Paul [editor.] Yi, Wang [editor.] SpringerLink (Servicio en línea) Series Lecture Notes in Computer Science ; 3829 Tipo de material: Texto; Formato: disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 Acceso en línea: Conectar a Springer E-Books (Para consulta externa se requiere previa autentificaciÃ³n en Biblioteca Digital UANL) Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)

Refinar su búsqueda