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

Buscar alternativas:

Limitar resultados
  1. 21

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

    TRIO o cómo ahora las tautologías son tautologías y el infinito es infinito por Turquie, Isaac Carlos

    1996
    Temas:
    Consultar en el Cátalogo
    Tesis
  3. 23

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

    1998
    Temas:
    Consultar en el Cátalogo
    Tesis
  4. 24

    Méthode générale d'analyse d'une application informatique por Castellani, Xavier

    Paris : [S.n.], 1982
    Temas: “…VERIFICACIÓN DE PROGRAMAS…”
    Consultar en el Cátalogo
    Libro
  5. 25

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

    2003
    Temas:
    Consultar en el Cátalogo
    Tesis
  6. 26

    Verifying concurrent processes using temporal logic por Hailpern, Brent T.

    Berlín : Springer, 1982
    Temas: “…VERIFICACIÓN DE PROGRAMAS…”
    Consultar en el Cátalogo
    Libro
  7. 27

    Fairness por Francez, Nissim

    Nueva York : Springer-Verlag, c1986
    Temas: “…VERIFICACIÓN DE PROGRAMAS…”
    Consultar en el Cátalogo
    Libro
  8. 28

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

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

    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 42928…”
    Consultar en el Cátalogo
    Libro
  10. 30

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

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

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

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

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

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

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

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

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

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

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

    TRIO o cómo ahora las tautologías son tautologías y el infinito es infinito por Turquie, Isaac Carlos

    1996
    Temas:
    Consultar en el Cátalogo
    Tesis
  17. 37

    Méthode générale d'analyse d'une application informatique por Castellani, Xavier

    Paris : [S.n.], 1982
    Temas: “…VERIFICACIÓN DE PROGRAMAS 42928…”
    Consultar en el Cátalogo
    Libro
  18. 38

    Verification and validation of real-time software por Sin autor

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

    Verifying concurrent processes using temporal logic por Hailpern, Brent T.

    Berlín : Springer, 1982
    Temas: “…VERIFICACIÓN DE PROGRAMAS 42928…”
    Consultar en el Cátalogo
    Libro
  20. 40

    Fairness por Francez, Nissim

    Nueva York : Springer-Verlag, c1986
    Temas: “…VERIFICACIÓN DE PROGRAMAS 42928…”
    Consultar en el Cátalogo
    Libro

Herramientas de búsqueda: