Su búsqueda retornó 2 resultados.

Resultados
	1.	Formal aspects of component software : 11th international symposium, facs 2014, bertinoro, italy, september 10-12, 2014, revised selected papers / edited by Ivan Lanese, Eric Madelaine. por Lanese, Ivan [editor.] Madelaine, Eric [editor.] SpringerLink (Servicio en línea) Series Lecture Notes in Computer Science ; 8997 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 Methods for Components and Objects : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Eric Madelaine. por Boer, Frank S [editor.] Bonsangue, Marcello M [editor.] Madelaine, Eric [editor.] SpringerLink (Servicio en línea) Series Lecture Notes in Computer Science ; 5751 Tipo de material: Texto; Formato: disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 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