Resultados de búsqueda

  • Mostrando 1 - 18 Resultados de 18
Limitar resultados
  1. 1

    The design of well-structured and correct programs por Alagic, Suad

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

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

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

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

    An axiomatic basis for proving total correctness of goto-programs por Wang, Arne

    Consultar en el Cátalogo
    Capítulo de libro
  5. 5

    A framework for execution of secure mobile code based on static analysis por Nordio, Martín

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

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

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

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

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

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

    The design of well-structured and correct programs por Alagic, Suad

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

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

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

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

    An axiomatic basis for proving total correctness of goto-programs por Wang, Arne

    Consultar en el Cátalogo
    Capítulo de libro
  14. 14

    A framework for execution of secure mobile code based on static analysis por Nordio, Martín

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

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

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

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

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

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

Herramientas de búsqueda: