Program construction : calculating implementations from specifications
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Lengua: | inglés |
| Datos de publicación: |
West Sussex :
John Wiley and Sons,
2003
|
| Edición: | 1st ed. |
| Temas: | |
| Acceso en línea: | Consultar en el Cátalogo |
| Descripción Física: | xii, 340 p. : il. |
| ISBN: | 9780470848821 |
Tabla de Contenidos:
- 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