Verificación y Desarrollo de Programas /Rodrigo Cardoso
Tipo de material: TextoIdioma: Español Detalles de publicación: Edit.Uniandes. 1991Descripción: 473p. : il. : 24 cmISBN: 9589057209Tema(s): TECNOLOGÍAS DE INFORMACIÓN Y COMUNICACIÓN | PROGRAMAS PARA COMPUTADORAS | LENGUAJE DE PROGRAMACION (COMPUTADORES ELECTRONICOS) -- SEMANTICA | INGENIERIA DE SOFTWAREClasificación CDD: 005.3
Contenidos:
1. Corrección
2. Semántica axiomática y verificación.
3. Procedimiento
4. Desarrollo de programas.
5. Paradigmas
6. Especificación
Tipo de ítem | Biblioteca actual | Signatura | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|
Libros | Biblioteca Especializada de la Facultad de Ciencias | /C26 (Navegar estantería(Abre debajo)) | Disponible | FC129 |
Indice.
Bibliografia 463p.
1. Corrección
2. Semántica axiomática y verificación.
3. Procedimiento
4. Desarrollo de programas.
5. Paradigmas
6. Especificación
No hay comentarios en este titulo.