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.