Su búsqueda retornó 2 resultados.

Resultados
	1.	FM 2006: Formal Methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings / edited by Jayadev Misra, Tobias Nipkow, Emil Sekerinski. por Misra, Jayadev [editor.] Nipkow, Tobias [editor.] Sekerinski, Emil [editor.] SpringerLink (Servicio en línea) Series Lecture Notes in Computer Science ; 4085 Tipo de material: Texto; Formato: disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 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.	Integrated formal methods : 11th international conference, ifm 2014, bertinoro, italy, september 9-11, 2014, proceedings / edited by Elvira Albert, Emil Sekerinski. por Albert, Elvira [editor.] Sekerinski, Emil [editor.] SpringerLink (Servicio en línea) Series Lecture Notes in Computer Science ; 8739 Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Springer, 2014 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