TY - BOOK AU - Kubiak,Rlyszard TI - An introduction to programming with specifications: a mathematical approach SN - 0124276202 (hbk) U1 - 005.12 PY - 1991///c CY - London PB - Academic Press KW - Computer programming N1 - Index included; 0- Introduction 1- Basic Mathematical Vocabulary 2- On Definitions & Specifications 3- Conditional Expressions 4- Logical Expressions 5- Recursive Function Definitions 6- Designing Recursive Definitions 7- More Complex Recursion 8- High-Order Data : Sequences 9- Our Main Tool : Induction 10- Proving Facts About Recursively Defined Functions 11- Tail Recursion 12- Iterative Algorithms 13- From Recursion to Iteration & Back 14- Partial & Total Correctness 15- How to Design Iterative Algorithms 16- Computer Programming Solution of Exercises ER -