Program construction

Título:

Program construction: calculating implementations from specifications

Autor:

Backhouse, Roland

Colaboradores:

Temas:

LÓGICA COMPUTACIONAL ; ALGORITMOS ; 

Edición:

1st ed.

Localización electrónica:

Descripción física:

xii, 340 p.: il.

ISBN:

9780470848821

Idioma:

Inglés, 

País:

Reino Unido

Publicación:

West Sussex : John Wiley and Sons,  2003

Puede solicitar más fácilmente el ejemplar con: F.4.1 BAC

1. A science of computing

2. A searching problem and its solution

3. A calculational proof

4. Implementation issues

5. Calculational logic: part 1

6. Number conversion

7. Calculational logic: part 2

8. Maximum and minimum

9. The assignment statement

10. Sequential composition and conditional statements

11. Quantifiers

12. Inductive proofs and constructions

13. Iteration

14. Sorting and Seaching algorithms

15. Remainder computation

16. Cyclic codes

Appendix

Solutions to exercises

References

Glosary of symbols

Index