Local cover image
The design of well-structured and correct programs
Material type:
TextSeries: Texts and monographs in computer sciencePublication details: Nueva York : [S.n.], c1978Edition: 2nd corr. print. edDescription: x, 292 p. : il. ; 24 cmISBN: - 0387902996
Contents:
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.
| Item type | Home library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Libro
|
Biblioteca de la Facultad de Informática | D.1 ALA (Browse shelf(Opens below)) | Available | DIF-00281 | ||
|
Libro
|
Biblioteca de la Facultad de Informática | D.1 ALA (Browse shelf(Opens below)) | Available | DIF-00282 |
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.
Click on an image to view it in the image viewer