The design of well-structured and correct programs

Título:

The design of well-structured and correct programs

Autor:

Alagic, Suad

Colaboradores:

Arbib, Michael A.

Temas:

PROGRAMACIÓN ; CORRECCIÓN DE PROGRAMAS ; PASCAL ; 

Edición:

2nd corr. print.

Descripción física:

x, 292 p.:il.  ;  24 cm.

ISBN:

0-387-90299-6

Idioma:

Inglés, 

País:

Estados Unidos

Publicación:

Nueva York, c1978

Nota general:

Incluye ejercicios y glosario. --

Puede solicitar más fácilmente el ejemplar con: D.1 ALA

Introducing top-down design
Basic compositions of actions and their proof rules
Data types
Developing programs with proofs of correctness
Procedures and functions
Recursion
Programming with and without gotos.