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)
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.