An introduction to programming with specifications : a mathematical approach / by Ryszard Kubiak

By: Kubiak, RlyszardMaterial type: TextTextSeries: 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.12
Contents:
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
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode Item holds
Books Books Namal Library
Computer Science 		005.12 KUB-A 1991 1692 (Browse shelf (Opens below)) Available 1692
Total holds: 0

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.

to post a comment.