Mostrando 1 - 4 Resultados de 4 Para Buscar 'Woodcock, Jim', tiempo de consulta: 0.02s Limitar resultados
  1. 1
    Using Z : specification, refinement, and proof
    por Woodcock, Jim
    Publicado 1996
    Otros Autores: “…Woodcock, Jim…”
    Biblioteca Universidad de Deusto (Otras Fuentes: Biblioteca Universitat Ramon Llull)
    Libro
  2. 2
    Software engineering mathematics
    por Woodcock, Jim
    Publicado 1989
    Otros Autores: “…Woodcock, Jim…”
    Libro
  3. 3
    FM'99 - Formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings
    Publicado 1999
    Otros Autores:
    Libro
  4. 4
    FM'99 - Formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings
    Publicado 1999
    Otros Autores:
    Libro

Herramientas de búsqueda: