Su búsqueda recuperó 3 resultados.

Resultados
		FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings / Jayadev Misra, Tobias Nipkow, Emil Sekerinski, eds. por International Symposium of Formal Methods Europe (14 : 2006 : Hamilton, Canadá) \| Misra, Jayadev [editor] \| Nipkow, Tobias, 1958- [editor] \| Sekerinski, Emil, 1963- [editor]. Series Lecture notes in computer science ; 4085 \| Lecture notes in computer scienceTipo 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.76D47 I577 2006. Agregar al carrito (remover)
		Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers / Wolfgang Grieskamp, Carsten Weise, eds. por FATES 2005 (5 : 2005 : Edimburgo, Escocia) \| Grieskamp, Wolfgang, 1960- [editor] \| Weise, Carsten [editor]. Series Lecture notes in computer science ; 3997Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: FATES 2005.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9F67 F37 2005. 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)