The design of well-structured and correct programs
Material type:
TextSeries: Texts and monographs in computer sciencePublication details: Nueva York : , c1978Edition: 2nd corr. printDescription: 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 | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Libros
|
Biblioteca Fac.Informática | D.1 ALA (Browse shelf(Opens below)) | Available | DIF-00281 | |
|
Libros
|
Biblioteca Fac.Informática | D.1 ALA (Browse shelf(Opens below)) | Available | DIF-00282 |
Browsing Biblioteca Fac.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.
There are no comments on this title.