An introduction to programming with specifications : a mathematical approach / by Ryszard Kubiak
Material type: TextSeries: A.P.I.C. studies in data processing, no. 35Publication details: London : Academic Press, 1991cDescription: ix, 267 p. : ill. ; 24 cmISBN: 0124276202 (hbk)Subject(s): Computer programmingDDC classification: 005.12Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Books | Namal Library Computer Science | 005.12 KUB-A 1991 1692 (Browse shelf (Opens below)) | Available | 1692 |
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
There are no comments on this title.