Su búsqueda recuperó 3 resultados.

Resultados
		Architecting systems with trustworthy components : international seminar, Dagstuhl Castle, Germany, December 12-17, 2004 : revised selected papers / Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski, eds. por Reussner, Ralf [editor] \| Stafford, Judith Alyce [editor] \| Szyperski, Clemens [editor]. Series Lecture notes in computer science ; 3938Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2006Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76C66 A73 2006. Agregar al carrito (remover)
		Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005 : revised lectures / Frank S. de Boer ... [y otros.], eds. por FMCO 2005 (2005 : Amsterdam, Holanda) \| Boer, Frank S. de [editor]. Series Lecture notes in computer science ; 4111Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: FMCO 2005.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9F67 F66 2005. Agregar al carrito (remover)
		Software composition : 5th international symposium, SC 2006, Vienna, Austria, March 25-26, 2006 : revised papers / Welf Löwe, Mario Südholt, eds. por SC 2006 (2006 : Viena, Austria) \| Löwe, Welf [editor] \| Südholt, Mario [editor]. Series Lecture notes in computer science ; 4089Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: SC 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76C66 S3 2006. Agregar al carrito (remover)