An introduction to programming with specifications :
Kubiak, Rlyszard
An introduction to programming with specifications : a mathematical approach / by Ryszard Kubiak - London : Academic Press, 1991c. - ix, 267 p. : ill. ; 24 cm. - A.P.I.C. studies in data processing, no. 35. .
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
0124276202 (hbk)
Computer programming.
005.12 / KUB-A 1991 1692
An introduction to programming with specifications : a mathematical approach / by Ryszard Kubiak - London : Academic Press, 1991c. - ix, 267 p. : ill. ; 24 cm. - A.P.I.C. studies in data processing, no. 35. .
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
0124276202 (hbk)
Computer programming.
005.12 / KUB-A 1991 1692