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 |
|---|---|---|---|---|
Libro
|
Biblioteca de la Facultad de Informática | D.1 ALA (Browse shelf(Opens below)) | Available | |
|
Libro
|
Biblioteca de la Facultad de Informática | D.1 ALA (Browse shelf(Opens below)) | Available |
Browsing Biblioteca de la Facultad de Informática shelves Close shelf browser (Hides shelf browser)
| D.1 ABR The B-Book : assigning programs to meanings | D.1 ABR The B-Book : assigning programs to meanings | D.1 ALA The design of well-structured and correct programs | D.1 ALA The design of well-structured and correct programs | D.1 BAL Programación metódica | D.1 BEN Programming Pearls | D.1 BEN Programming Pearls |
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