Mostrando 1 - 7 Resultados de 7 Para Buscar 'Davies, Jim', tiempo de consulta: 0.01s Limitar resultados
  1. 1
    ICEGOV 2011 : 5th International Conference on Theory and Practice of Electronic Governance, 26-28, Septembre 2011, Tallinn, Estonia : proceedings
    por Davies, Jim
    Publicado 2011
    Otros Autores: “…Davies, Jim…”
    Libro electrónico
  2. 2
    The book of Guinness advertising
    por Davies, Jim
    Publicado 1998
    Otros Autores: “…Davies, Jim…”
    Libro
  3. 3
    Specification and proof in real-time CSP
    por Davies, Jim, 1964-
    Publicado 1993
    Otros Autores: “…Davies, Jim, 1964-…”
    Libro
  4. 4
    Using Z : specification, refinement, and proof
    por Woodcock, Jim
    Publicado 1996
    Otros Autores:
    Biblioteca Universidad de Deusto (Otras Fuentes: Biblioteca Universitat Ramon Llull)
    Libro
  5. 5
    ICEGOV 2010 Beijing China : 25-28 October, 2010 : 4th International Conference on Theory and Practice of Electronic Governance Proceedings
    por HADDAWY, Peter
    Publicado 2010
    Otros Autores:
    Libro electrónico
  6. 6
    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
  7. 7
    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: