Program construction : calculating implementations from specifications
Material type:
TextPublication details: West Sussex : John Wiley and Sons, 2003Edition: 1st edDescription: xii, 340 p. : ilISBN: - 9780470848821
| Item type | Home library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Libro
|
Biblioteca de la Facultad de Informática | F.4.1 BAC (Browse shelf(Opens below)) | Available | DIF-04695 |
Browsing Biblioteca de la Facultad de Informática shelves Close shelf browser (Hides shelf browser)
| F.4 MAR Desenvolvimento sistemático de programas corretos : a abordagem denotacional | F.4.1 AAR Quantum computing since Democritus | F.4.1 ARB Theories of abstract automata | F.4.1 BAC Program construction : calculating implementations from specifications | F.4.1 BEL depo Models and ultraproducts : an introduction | F.4.1 BLA Modal Logic | F.4.1 COP Introducción a la lógica |
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
Click on an image to view it in the image viewer