Resultados de búsqueda - "MÉTODOS FORMALES"

Limitar resultados
  1. 1

    FME ’96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : p...

    Berlín : Springer-Verlag, c1996
    Temas:
    Consultar en el Cátalogo
    Libro
  2. 2

    Reasoning about static and dynamic properties in Alloy : A purely relational approach por Frias, Marcelo F.

    Temas:
    Enlace del recurso / Disponible en línea
    Capítulo de libro
  3. 3

    FME ’96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : p...

    Berlín : Springer-Verlag, c1996
    Temas:
    Consultar en el Cátalogo
    Libro
  4. 4

    Systematic software development using VDM por Jones, Cliff B.

    Nueva York : [S.n.], c1990
    Temas:
    Consultar en el Cátalogo
    Libro
  5. 5

    FME ’94, industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings

    Berlín : Springer-Verlag, c1994
    Temas:
    Consultar en el Cátalogo
    Libro
  6. 6

    Aplicando métodos formales a la construcción de aplicaciones de hipermedia colaborativas por Mola, Vanesa

    2001
    Temas: “…MÉTODOS FORMALES…”
    Consultar en el Cátalogo
    Tesis
  7. 7

    Forks without philosophers o de cómo la cuantificación universal perdió una batalla y de las ventajas que ello reportó por Martínez López, Pablo Ernesto

    1996
    Temas: “…MÉTODOS FORMALES…”
    Consultar en el Cátalogo
    Tesis
  8. 8

    Desenvolvimento sistemático de programas corretos : a abordagem denotacional por Martins, Raul César Baptista

    Campinas : UNICAMP, 1988
    Temas:
    Consultar en el Cátalogo
    Libro
  9. 9

    Dimensions in the object oriented software development process por Pons, Claudia Fabiana

    Temas:
    Consultar en el Cátalogo
    Capítulo de libro
  10. 10

    Reasoning about static and dynamic properties in Alloy : A purely relational approach por Frias, Marcelo F.

    Temas:
    Enlace del recurso / Disponible en línea
    Capítulo de libro
  11. 11

    Métodos formais para o desenvolvimento de programas por Alencar, Paulo S. C. de

    Buenos Aires : Kapelusz, 1988
    Temas:
    Consultar en el Cátalogo
    Libro
  12. 12

    Formal methods for real-time computing por Sin autor

    Chichester : [S.n.], 1996
    Temas: “…MÉTODOS FORMALES…”
    Consultar en el Cátalogo
    Libro
  13. 13

    Systematic software development using VDM por Jones, Cliff B.

    Nueva York : [S.n.], c1990
    Temas:
    Consultar en el Cátalogo
    Libro
  14. 14

    FME ’94, industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings

    Berlín : Springer-Verlag, c1994
    Temas:
    Consultar en el Cátalogo
    Libro
  15. 15

    Dimensions in the object oriented software development process por Pons, Claudia Fabiana

    Temas:
    Consultar en el Cátalogo
    Capítulo de libro
  16. 16

    Formalización del proceso de desarrollo de software por Haeberer, Armando Martín

    Buenos Aires : Kapelusz, 1988
    Temas: “…MÉTODOS FORMALES…”
    Consultar en el Cátalogo
    Libro
  17. 17

    Forks without philosophers o de cómo la cuantificación universal perdió una batalla y de las ventajas que ello reportó por Martínez López, Pablo Ernesto

    1996
    Temas: “…MÉTODOS FORMALES 42929…”
    Consultar en el Cátalogo
    Tesis
  18. 18

    Desenvolvimento sistemático de programas corretos : a abordagem denotacional por Martins, Raul César Baptista

    Campinas : UNICAMP, 1988
    Temas:
    Consultar en el Cátalogo
    Libro
  19. 19

    Modelo formal para especificación e implementación de hiperhistorias por Capelli, Guillermo

    1998
    Temas: “…MÉTODOS FORMALES…”
    Consultar en el Cátalogo
    Tesis
  20. 20

    Heuristics on the definition of UML refinement patterns por Pons, Claudia Fabiana

    Temas:
    Enlace del recurso / Disponible en línea
    Capítulo de libro

Herramientas de búsqueda: