|
|
books
| book details |
Systematic Program Design: From Clarity to Efficiency
By (author) Yanhong Annie Liu
|
| on special |
normal price: R 980.95
Price: R 882.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 |
Publisher | Cambridge University Press
Published date | 20 May 2013
Language |
Format | Paperback / softback
Pages | 253
Dimensions | 235 x 155 x 16mm (L x W x H)
Weight | 430g
ISBN | 978-1-1076-1079-8
Readership Age |
BISAC | computers / programming / general
| other options |
Normally shipped |
Readership Age |
Normal Price | R 1 821.95
Price | R 1 639.95
| on special |
Out of Print / Publication Cancelled
Normally shipped |
Readership Age |
Normal Price | R 1 997.95
Price | R 1 797.95
| on special |
|
|
To view the items in your trolley please sign in.
| sign in |
|
|
|
| specials |
|
|
Mason Coile
Paperback / softback
224 pages
was: R 520.95
now: R 468.95
|
A terrifying locked-room mystery set in a remote outpost on Mars.
|
|
|
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?
|
|
|
|
