Backhouse, Roland <br/><br/>
Program construction :  calculating implementations from specifications 

 - 1st ed. 
 - West Sussex :   John Wiley and Sons,  2003 
 - xii, 340 p. :  il. 
<br/><br/>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 
<br/><br/><label>ISBN: </label>9780470848821 
<br/><br/><label>Standard No.: </label>DIF-M7420 
<br/><br/><label>Subjects--Topical Terms: </label><br/>LÓGICA COMPUTACIONAL<br/>ALGORITMOS