Free shipping on all orders over $79* Limited Time Only
Track My Order
Help Centre
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Get Free Shipping on orders over $79
Systematic Program Design : From Clarity to Efficiency - Yanhong Annie Liu

Systematic Program Design

From Clarity to Efficiency

By: Yanhong Annie Liu

eText | 20 May 2013 | Edition Number 1

At a Glance

eText

$67.95

or 4 interest-free payments of $16.99 with

 or 

Instant online reading in your Booktopia eTextbook Library *

Why choose an eTextbook?

Instant Access *

Purchase and read your book immediately

Read Aloud

Listen and follow along as Bookshelf reads to you

Study Tools

Built-in study tools like highlights and more

* eTextbooks are not downloadable to your eReader or an app and can be accessed via web browsers only. You must be connected to the internet and have no technical issues with your device or browser that could prevent the eTextbook from operating.
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.
on
Desktop
Tablet
Mobile

You Can Find This eBook In

Non-FictionComputing & I.T.Computer Programming & Software DevelopmentProgramming & Scripting LanguagesDigital Lifestyle & Online World: Consumer & User GuidesComputer Games & Online Games Strategy Guides

Other Editions and Formats

Hardcover

Published: 20th May 2013

View Product

More in Programming & Scripting Languages

Investing for Programmers - Stefan Papp

eBOOK

Investing for Programmers

eBook

$44.99

The Debugging Handbook - Johannes Kuhlmann

eBOOK

The Debugging Handbook

eBook

RRP $67.77

$54.99

19%
OFF
The Rust Programming Language, 3rd Edition - Carol Nichols

eBOOK

The Rust Programming Language, 3rd Edition

eBook

RRP $81.32

$65.99

19%
OFF

This product is categorised by