Resultados de búsqueda - "VERIFICACIÓN DE PROGRAMAS"

Buscar alternativas:

Limitar resultados
  1. 41

    Obteniendo eficiencia y legibilidad en programas generados automáticamente por Canal, Esteban de la

    2003
    Temas:
    Consultar en el Cátalogo
    Tesis
  2. 42

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

    2012
    Temas: “…VERIFICACIÓN DE PROGRAMAS 42928…”
    Enlace del recurso / Disponible en línea
    Programa de materia
  3. 43

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

    2014
    Temas: “…VERIFICACIÓN DE PROGRAMAS 42928…”
    Enlace del recurso / Disponible en línea
    Programa de materia
  4. 44

    Verification and validation of real-time software por Sin autor

    Berlín : [S.n.], c1985
    Temas:
    Consultar en el Cátalogo
    Libro
  5. 45

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

    2018
    Temas:
    Enlace del recurso / Disponible en línea
    Programa de materia
  6. 46

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

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

    Programming languages theory and its implementation : applicative and imperative paradigms por Gordon, Michael J.C

    Nueva York : [S.n.], 1988
    Temas:
    Consultar en el Cátalogo
    Libro
  8. 48

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

    2018
    Temas:
    Enlace del recurso / Disponible en línea
    Programa de materia
  9. 49

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

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

    Programming languages theory and its implementation : applicative and imperative paradigms por Gordon, Michael J.C

    Nueva York : [S.n.], 1988
    Temas:
    Consultar en el Cátalogo
    Libro
  11. 51

    Desarrollo de una herramienta para derivación automática de especificaciones OCL a JML por Dias Molina, María José

    2011
    Temas:
    Enlace del recurso / Disponible en línea
    Tesis
  12. 52

    Desarrollo de una herramienta para derivación automática de especificaciones OCL a JML por Dias Molina, María José

    2011
    Temas:
    Enlace del recurso / Disponible en línea
    Tesis

Herramientas de búsqueda: