Systematic Program Design : From Clarity to Efficiency - Yanhong Annie Liu

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 15 to 25 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 & AI For Dummies - John C.  Shovic

RRP $57.95

$44.75

23%
OFF
Introduction to Programming Languages - Gordon Hurley
The Practical Guide : The Practical Guide - Kerem Koseoglu
The C Programming Language : Prentice Hall Software - Brian Kernighan

RRP $107.04

$75.75

29%
OFF
Coding For Dummies, All New Edition : For Dummies (Computer/Tech) - Paul McFedries
C++ Programming Language (hardcover), The - Bjarne Stroustrup

RRP $117.91

$89.99

24%
OFF
Learning Go : An Idiomatic Approach to Real-World Go Programming - Jon Bodner
Think Python 3e : How To Think Like a Computer Scientist - Allen B. Downey
Problem Solving and Program Design in C, Global Edition : 8th Edition - Elliot Koffman
C++ How to Program, Global Edition : 10th Edition - Paul Deitel

RRP $167.95

$133.75

20%
OFF
Python Cookbook : Recipes for Mastering Python : 3rd Edition - David Beazley
Python Automation For Dummies : For Dummies (Computer/Tech) - Alan Simpson
Python All-in-One For Dummies : 3rd Edition - Alan Simpson

RRP $74.95

$55.75

26%
OFF
Fundamentals of Python : 3rd Edition - First Programs - Kenneth Lambert
Concepts of Programming Languages, Global Edition : 12th Edition - Robert Sebesta
Coding All-in-One For Dummies : 2nd Edition - Chris Minnick

RRP $69.95

$50.75

27%
OFF