Su búsqueda recuperó 3 resultados.

Resultados
		FM'99-: formal methods : world congress on formal methods in the development of computing systems Toulouse, France, september 1999, proceedings / Jeannette M. Wing, Jim Woodcock, Jim Davis, (eds.) por World Congress on Formal Methods in the Development of Computing Systems (1999 : Tolulous, Francia) \| Wing, Jeannette M [editor] \| Woodcock, Jim [editor] \| Davis, Jim [editor]. Series Lectures notes in computer science ; 1708-1709Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c1999Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76D47 C645 1999. Hacer reserva Agregar al carrito (remover)
		FME '93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings / J.C.P. Woodcock, P.G. Larsen, (eds.) por International Symposium of Formal Methods Europe (1993 : Odense, Dinamarca) \| Woodcock, Jim [editor] \| Larsen, P. G. (Peter Gorm), 1964- [editor]. Series Lecture notes in computer science ; 670Tipo de material: Texto; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, 1993Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76D47 I577 1993. Hacer reserva Agregar al carrito (remover)
		Software engineering mathematics / Jim woodcock, Martín loomes por Woodcock, Jim [autor] \| Loomes, Martin [autor]. Series The sei series in software engineeringTipo de material: Texto; Forma literaria: No es ficción Editor: Reading, massachusetts : Addison-wesley, 1989Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.758 W66. Hacer reserva Agregar al carrito (remover)