Vista normal Vista MARC Vista ISBD

Cardoso,Rodrigo

Verificación y Desarrollo de Programas /Rodrigo Cardoso - Edit.Uniandes. 1991 - 473p. : il. : 24 cm.

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

ISBN: 9589057209

Subjects--Topical Terms:
TECNOLOGÍAS DE INFORMACIÓN Y COMUNICACIÓN
PROGRAMAS PARA COMPUTADORAS
LENGUAJE DE PROGRAMACION (COMPUTADORES ELECTRONICOS) -- SEMANTICA
INGENIERIA DE SOFTWARE

Dewey Class. No.: 005.3 / C26