The design of well-structured and correct programs
Material type:
- 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.
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.