Bookshelf
| can't find it |

| browse books |
books
 

| book details |

Systematic Program Design: From Clarity to Efficiency

By (author) Yanhong Annie Liu

| on special |

normal price: R 3,804.95

Price: R 3,423.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,231.95
Price | R 3,808.95 | on special |



| your trolley |

To view the items in your trolley please sign in.

| sign in |

| specials |

The Memory Collectors: A Novel

Dete Meserve
Paperback / softback
320 pages


Enquiries only


The Colonialist: The Vision of Cecil Rhodes

William Kelleher Storey
Paperback / softback
528 pages
was: R 425.95
now: R 382.95
Usually dispatched in 6-12 days

This first comprehensive biography of Cecil Rhodes in a generation illuminates Rhodes’s vision for the expansion of imperialism in southern Africa, connecting politics and industry to internal development, and examines how this fueled a lasting, white-dominated colonial society.

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.