Verificación y desarrollo de programas / Cardoso R., Rodrigo

Público ISBD Título : Verificación y desarrollo de programas Tipo de documento: texto impreso Autores: Cardoso R., Rodrigo Editorial: Bogotá : Ediciones Uniandes Fecha de publicación: 1993 Dimensiones: x: 473 p ISBN/ISSN/DL: 978-958-9057-20-9 Nota general: Incluye bibliografía índice Idioma : Español (spa) Palabras clave: INFORMÁTICA, PROGRAMACIÓN DE COMPUTADORES Clasificación: 005.1 - Programación de computadores, programas, datos - Programación Nota de contenido: 0. Preliminares. // 1. Corrección. // 2. Semántica aximatica y verificación. // 3. Procedimientos. // 4. Desarrollo de programas. // 5. Paradigmas. // 6. Especificación. Verificación y desarrollo de programas [texto impreso] / Cardoso R., Rodrigo . - Bogotá : Ediciones Uniandes, 1993 . -  ; x: 473 p. ISBN : 978-958-9057-20-9 Incluye bibliografía índice Idioma : Español (spa) Palabras clave: INFORMÁTICA, PROGRAMACIÓN DE COMPUTADORES Clasificación: 005.1 - Programación de computadores, programas, datos - Programación Nota de contenido: 0. Preliminares. // 1. Corrección. // 2. Semántica aximatica y verificación. // 3. Procedimientos. // 4. Desarrollo de programas. // 5. Paradigmas. // 6. Especificación.

Reserva

Reservar este documento

Ejemplares (1)

Código de barras	Signatura	Tipo de medio	Ubicación	Sección	Estado
00002336	005.1/C268	Libro	Biblioteca Principal -Medellín	Colección General	Disponible

---

1 (1 - 1 / 1)