Resultados de búsqueda

Limitar resultados
  1. 1

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

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

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

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

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

    Paris : [S.n.], 1982
    Consultar en el Cátalogo
    Libro
  4. 4

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

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

    Verification and validation of real-time software por Sin autor

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

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

    1998
    Consultar en el Cátalogo
    Tesis
  7. 7

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

    1996
    Consultar en el Cátalogo
    Tesis
  8. 8

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

    2003
    Consultar en el Cátalogo
    Tesis
  9. 9

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

    Nueva York : [S.n.], c1997
    Consultar en el Cátalogo
    Libro
  10. 10

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

    Campinas : UNICAMP, 1986
    Consultar en el Cátalogo
    Libro
  11. 11

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

    Enlace del recurso / Disponible en línea
    Capítulo de libro
  12. 12

    Program verification por Francez, Nissim

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

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

    La Plata : [S.n.], 2010
    Consultar en el Cátalogo
    Libro
  14. 14

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

    2018
    Enlace del recurso / Disponible en línea
    Programa de materia
  15. 15

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

    2012
    Enlace del recurso / Disponible en línea
    Programa de materia
  16. 16

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

    2010
    Enlace del recurso / Disponible en línea
    Programa de materia
  17. 17

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

    Berlín : Springer, 1982
    Consultar en el Cátalogo
    Libro
  18. 18

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

    La Plata : Edulp, 2013
    Enlace del recurso / Disponible en línea
    Libro
  19. 19

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

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

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

    2014
    Enlace del recurso / Disponible en línea
    Programa de materia

Herramientas de búsqueda: