Resultados de búsqueda - "Verificación"

Limitar resultados
  1. 1

    Verification of sequential and concurrent programs por Apt, Krsysztof R.

    Nueva York : [S.n.], c1997
    Temas: “…VERIFICACIÓN DE PROGRAMAS…”
    Consultar en el Cátalogo
    Libro
  2. 2

    Verificaçao e construçao de programas por Veloso, Paulo A. S.

    Campinas : UNICAMP, 1986
    Temas: “…VERIFICACIÓN DE PROGRAMAS…”
    Consultar en el Cátalogo
    Libro
  3. 3

    Program verification por Francez, Nissim

    Cambridge : [S.n.], 1992
    Temas:
    Consultar en el Cátalogo
    Libro
  4. 4

    Verification of sequential and concurrent programs por Apt, Krsysztof R.

    Nueva York : [S.n.], c1997
    Temas: “…VERIFICACIÓN DE PROGRAMAS 42928…”
    Consultar en el Cátalogo
    Libro
  5. 5

    La medición en el taller mecánico /

    Barcelona : CEAC, 1962.
    Temas:
    Libro
  6. 6

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

    Temas: “…VERIFICACIÓN DE PROGRAMAS…”
    Enlace del recurso / Disponible en línea
    Capítulo de libro
  7. 7

    Leveraging Applications of Formal Methods, Verification and Validation. : Technologies for Mastering Change, Part 1 por Margaria, Tiziana

    Berlín : Springer, 2012
    Temas:
    Consultar en el Cátalogo
    Libro
  8. 8

    Análisis del servicio de la V.T.V. en La Plata / por Gómez, Santiago

    La Plata : Universidad Nacional de La Plata. Facultad de Ingeniería, 2011.
    Temas:
    Libro
  9. 9

    A survey of verification techniques for parallel programs por Barringer, Howard

    Berlín : [S.n.], c1985
    Temas: “…VERIFICACIÓN DE PROGRAMAS…”
    Consultar en el Cátalogo
    Libro
  10. 10

    Contribuciones a la verificación funcional moderna por Goñi, Oscar

    2015
    Temas:
    Enlace del recurso / Disponible en línea
    Tesis
  11. 11

    Verificaçao e construçao de programas por Veloso, Paulo A. S.

    Campinas : UNICAMP, 1986
    Temas: “…VERIFICACIÓN DE PROGRAMAS 42928…”
    Consultar en el Cátalogo
    Libro
  12. 12

    Program verification por Francez, Nissim

    Cambridge : [S.n.], 1992
    Temas:
    Consultar en el Cátalogo
    Libro
  13. 13

    Concurrencia tradicional en programación funcional por Mocciola, Pablo Andrés

    1998
    Temas:
    Consultar en el Cátalogo
    Tesis
  14. 14

    Teoría de la Computación y Verificación de Programas Avanzada por Rosenfeld, Ricardo Fabián

    2019
    Temas:
    Enlace del recurso / Disponible en línea
    Programa de materia
  15. 15

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

    Temas: “…VERIFICACIÓN DE PROGRAMAS 42928…”
    Enlace del recurso / Disponible en línea
    Capítulo de libro
  16. 16

    Contribuciones a la verificación funcional moderna por Goñi, Oscar

    2015
    Temas:
    Enlace del recurso / Disponible en línea
    Tesis
  17. 17

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

    Buenos Aires : Kapelusz, 1988
    Temas: “…VERIFICACIÓN DE PROGRAMAS…”
    Consultar en el Cátalogo
    Libro
  18. 18

    Leveraging Applications of Formal Methods, Verification and Validation. : Technologies for Mastering Change, Part 1 por Margaria, Tiziana

    Berlín : Springer, 2012
    Temas:
    Consultar en el Cátalogo
    Libro
  19. 19

    Protocol specification, testing and verification XV : proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, P...

    London : Chapman & Hall, 1996
    Temas:
    Consultar en el Cátalogo
    Libro
  20. 20

    Teoría de la computación y verificación de programas por Rosenfeld, Ricardo Fabián

    La Plata : [S.n.], 2010
    Temas: “…VERIFICACIÓN DE PROGRAMAS…”
    Consultar en el Cátalogo
    Libro

Herramientas de búsqueda: