Get Free Shipping on orders over $79
Systematic Program Design : From Clarity to Efficiency - Yanhong Annie Liu
eTextbook alternate format product

Instant online reading.
Don't wait for delivery!

Go digital and save!

Systematic Program Design

From Clarity to Efficiency

By: Yanhong Annie Liu

Paperback | 20 May 2013

At a Glance

Paperback


RRP $83.95

$77.75

or 4 interest-free payments of $19.44 with

 or 

Ships in 5 to 7 business days

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.
Industry Reviews
'As an experienced programmer and educator, I have to admit, I felt deep enjoyment while reading this book. It was a pleasant experience.' M. M. Tanik, Computing Reviews
'It will prove very useful for graduate students who wish to start their literature review with a comprehensive example of the state of the art in formal methods, and it is an excellent platform for self-directed learning. This well-structured, comprehensive book reflects the author's experience and strong background in the field. Highly recommended.' L. Benedicenti, Choice

More in Programming & Scripting Languages

Python All-in-One For Dummies : 3rd Edition - John C. Shovic

RRP $74.95

$52.47

30%
OFF
The C Programming Language : Prentice Hall Software - Brian Kernighan

RRP $107.04

$75.75

29%
OFF
The Practical Guide - Kerem Koseoglu

$97.75

Introduction to Programming Languages - Gordon Hurley
Typesetting Mathematics With Latex - Robert Legato
C# 12 in a Nutshell : The Definitive Reference - Joseph Albahari

RRP $133.00

$64.75

51%
OFF
Python Automation For Dummies : For Dummies (Computer/Tech) - Alan Simpson
Typescript Cookbook : Real World Type-Level Programming - Stefan Baumgartner
C++ How to Program, Global Edition : 10th Edition - Paul Deitel

RRP $167.95

$133.75

20%
OFF
Problem Solving and Program Design in C, Global Edition : 8th Edition - Elliot Koffman
Concepts of Programming Languages, Global Edition : 12th Edition - Robert Sebesta