Su búsqueda retornó 2 resultados.

Resultados
	1.	Formal Techniques for Networked and Distributed Systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings / edited by Elie Najm, Jean-François Pradat-Peyre, Véronique Viguié Donzeau-Gouge. por Najm, Elie [editor.] Pradat-Peyre, Jean-François [editor.] Donzeau-Gouge, Véronique Viguié [editor.] SpringerLink (Servicio en línea) Series Lecture Notes in Computer Science ; 4229 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.	SDL 2007: Design for Dependable Systems : 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings / edited by Emmanuel Gaudin, Elie Najm, Rick Reed. por Gaudin, Emmanuel [editor.] Najm, Elie [editor.] Reed, Rick [editor.] SpringerLink (Servicio en línea) Series Lecture Notes in Computer Science ; 4745 Tipo de material: Texto; Formato: disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 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