Bookshelf
study guides books reading lists e-books
home sign in my orders my e-books my trolley my account contact
| can't find it |

| browse books |
books
 

books

| book details |

Systematic Program Design: From Clarity to Efficiency

By (author) Yanhong Annie Liu

| on special |

normal price: R 3,820.95

Price: R 3,438.95

| book description |

A systematic program design method can help developers ensure the correctness and performance of programs while minimizing the development cost. This book describes a method that starts with a clear specification of a computation and derives an efficient implementation by step-wise program analysis and transformations. The method applies to problems specified in imperative, database, functional, logic and object-oriented programming languages with different data, control and module abstractions. Designed for courses or self-study, this book includes numerous exercises and examples that require minimal computer science background, making it accessible to novices. Experienced practitioners and researchers will appreciate the detailed examples in a wide range of application areas including hardware design, image processing, access control, query optimization and program analysis. The last section of the book points out directions for future studies.

| product details |



Normally shipped | This title will be printed on demand for your order. Delivery will be 6 weeks or less.
Publisher | Cambridge University Press
Published date | 20 May 2013
Language |
Format | Hardback
Pages | 252
Dimensions | 240 x 158 x 20mm (L x W x H)
Weight | 550g
ISBN | 978-1-1070-3660-4
Readership Age |
BISAC | computers / programming languages / general

| other options |



Normally shipped | Available from overseas. Usually dispatched in 14 days
Readership Age |
Normal Price | R 4,171.95
 Price | R 3,754.95 | on special |

| back |
| your trolley |
To view the items in your trolley please sign in.
| sign in |

| specials |

The Coming Wave: AI, Power and Our Future

Mustafa Suleyman
Paperback / softback
352 pages
was: R 295.95
now: R 265.95
Stock is usually dispatched in 6-12 days from date of order

Survive the AI Apocalypse: A guide for solutionists

Bronwen Williams
Paperback / softback
232 pages
was: R 340.95
now: R 306.95
Forthcoming
Let's stare the future down and, instead of fearing AI, become solutionists.

Living in a hut in 21st Century South Africa

Monde Ndandani
Paperback / softback
142 pages
was: R 220.95
now: R 198.95
Usually delivered in 6-12 days

The Memory Collectors: A Novel

Dete Meserve
Paperback / softback
320 pages


Enquiries only
 
Copyright 2025 |  terms and conditions