Su búsqueda retornó 2 resultados.

Resultados
	1.	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)
	2.	Logic-Based Program Synthesis and Transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers / edited by Elvira Albert. por Albert, Elvira [editor.] SpringerLink (Servicio en línea) Series Lecture Notes in Computer Science ; 7844 Tipo de material: Texto; Formato: disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 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