Program construction : calculating implementations from specifications

By: Material type: TextTextPublication details: West Sussex : John Wiley & Sons, 2003Edition: 1st edDescription: xii, 340 p. : ilISBN:
  • 9780470848821
Subject(s):
Contents:
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
Item type: Libros
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)

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

There are no comments on this title.

to post a comment.

Powered by Koha