Get Free Shipping on orders over $0
Systematic Program Design : From Clarity to Efficiency - Yanhong Annie Liu

Systematic Program Design

From Clarity to Efficiency

By: Yanhong Annie Liu

Hardcover | 20 May 2013

At a Glance

Hardcover


RRP $161.95

$144.75

11%OFF

or 4 interest-free payments of $36.19 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
Python All-in-One For Dummies : 3rd Edition - John C. Shovic

RRP $74.95

$55.75

26%
OFF
C++ Programming Language (hardcover), The - Bjarne Stroustrup

RRP $117.91

$89.99

24%
OFF
Python Automation For Dummies : For Dummies (Computer/Tech) - Alan Simpson
Introducing Python 3e : Modern Computing in Simple Packages - Bill Lubanovic
Think Python 3e : How To Think Like a Computer Scientist - Allen B. Downey
PHP, MySQL, & JavaScript All-In-One For Dummies : For Dummies - Richard Blum
Python Cookbook : Recipes for Mastering Python : 3rd Edition - David Beazley
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
Learning Go : An Idiomatic Approach to Real-World Go Programming - Jon Bodner