Resultados de búsqueda - "CORRECCIÓN DE PROGRAMAS"
-
1
An axiomatic basis for proving total correctness of goto-programs
Temas: “…CORRECCIÓN DE PROGRAMAS…”
Consultar en el Cátalogo
Capítulo de libro -
2
An axiomatic basis for proving total correctness of goto-programs
Temas: “…CORRECCIÓN DE PROGRAMAS 42914…”
Consultar en el Cátalogo
Capítulo de libro -
3
The design of well-structured and correct programs
Nueva York : [S.n.], c1978Temas: Consultar en el Cátalogo
Libro -
4
Métodos formais para o desenvolvimento de programas
Buenos Aires : Kapelusz, 1988Temas: Consultar en el Cátalogo
Libro -
5
The design of well-structured and correct programs
Nueva York : [S.n.], c1978Temas: Consultar en el Cátalogo
Libro -
6
Teoría de la computación y verificación de programas
La Plata : [S.n.], 2010Temas: Consultar en el Cátalogo
Libro -
7
Teoría de la Computación y Verificación de Programas
2010Temas: Enlace del recurso / Disponible en línea
Programa de materia -
8
-
9
Métodos formais para o desenvolvimento de programas
Buenos Aires : Kapelusz, 1988Temas: Consultar en el Cátalogo
Libro -
10
Teoría de la computación y verificación de programas
La Plata : [S.n.], 2010Temas: Consultar en el Cátalogo
Libro -
11
Teoría de la Computación y Verificación de Programas
2010Temas: Enlace del recurso / Disponible en línea
Programa de materia -
12
-
13
Teoría de la Computación y Verificación de Programas
2018Temas: Enlace del recurso / Disponible en línea
Programa de materia -
14
Teoría de la Computación y Verificación de Programas
2019Temas: Enlace del recurso / Disponible en línea
Programa de materia -
15
Programming languages theory and its implementation : applicative and imperative paradigms
Nueva York : [S.n.], 1988Temas: Consultar en el Cátalogo
Libro -
16
Teoría de la Computación y Verificación de Programas
2018Temas: Enlace del recurso / Disponible en línea
Programa de materia -
17
Teoría de la Computación y Verificación de Programas
2019Temas: Enlace del recurso / Disponible en línea
Programa de materia -
18
Programming languages theory and its implementation : applicative and imperative paradigms
Nueva York : [S.n.], 1988Temas: Consultar en el Cátalogo
Libro