Su búsqueda retornó 2 resultados.

Resultados
		Dependable Software Engineering: Theories, Tools, and Applications [recurso electrónico] : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings / edited by Martin Fränzle, Deepak Kapur, Naijun Zhan. por Fränzle, Martin [editor.] \| Kapur, Deepak [editor.] \| Zhan, Naijun [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9984Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Formal Modeling and Analysis of Timed Systems [recurso electrónico] : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings / edited by Martin Fränzle, Nicolas Markey. por Fränzle, Martin [editor.] \| Markey, Nicolas [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9884Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Refinar su búsqueda