Resultados de búsqueda - "Verificación de programas"

Buscar alternativas:

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

    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
  6. 6

    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
  7. 7

    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
  8. 8

    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
  9. 9

    Program verification por Francez, Nissim

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

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

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

    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
  12. 12

    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
  13. 13

    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
  14. 14

    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
  15. 15

    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
  16. 16

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

    2010
    Temas: “…VERIFICACIÓN DE PROGRAMAS…”
    Enlace del recurso / Disponible en línea
    Programa de materia
  17. 17

    Computabilidad, complejidad computacional y verificación de programas por Rosenfeld, Ricardo Fabián

    La Plata : Edulp, 2013
    Temas: “…VERIFICACIÓN DE PROGRAMAS…”
    Enlace del recurso / Disponible en línea
    Libro
  18. 18

    Model checking the behavior of frameworks extended with other frameworks por Balaguer, Federico

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

    Computabilidad, complejidad computacional y verificación de programas por Rosenfeld, Ricardo Fabián

    La Plata : Edulp, 2013
    Temas: “…VERIFICACIÓN DE PROGRAMAS…”
    Consultar en el Cátalogo
    Libro
  20. 20

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

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

Herramientas de búsqueda: