01230nam a22002177a 4500
OSt
20190924173407.0
130823b1991 -us||||g |||| 001 0 eng d
0124276202 (hbk)
NCL
NLN2019
005.12
KUB-A 1991 1692
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
Computer programming.
ddc
BK
1226
1226
0
0
ddc
0
0
NCL
NCL
Computer Science
2013-08-23
0
005.12 KUB-A 1991 1692
1692
2013-08-23
2013-08-23
BK