Su búsqueda retornó 2 resultados.

Resultados
	1.	Formal Methods: Foundations and Applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers / edited by Jim Davies, Leila Silva, Adenilso Simao. por Davies, Jim [editor.] Silva, Leila [editor.] Simao, Adenilso [editor.] SpringerLink (Servicio en línea) Series Lecture Notes in Computer Science ; 6527 Tipo de material: Texto; Formato: disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 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 Methods, Foundations and Applications : 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers / edited by Adenilso Simao, Carroll Morgan. por Simao, Adenilso [editor.] Morgan, Carroll [editor.] SpringerLink (Servicio en línea) Series Lecture Notes in Computer Science ; 7021 Tipo de material: Texto; Formato: disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 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