The design of well-structured and correct programs
Alagic, Suad
The design of well-structured and correct programs - 2nd corr. print. - Nueva York : , c1978 - x, 292 p. : il. ; 24 cm. - Texts and monographs in computer science .
Incluye ejercicios y glosario. --
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.
0387902996
DIF000096
PROGRAMACIÓN
CORRECCIÓN DE PROGRAMAS
PASCAL
The design of well-structured and correct programs - 2nd corr. print. - Nueva York : , c1978 - x, 292 p. : il. ; 24 cm. - Texts and monographs in computer science .
Incluye ejercicios y glosario. --
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.
0387902996
DIF000096
PROGRAMACIÓN
CORRECCIÓN DE PROGRAMAS
PASCAL