• Sign In
  • Help
  • My Basket0
Systematic Program Design: From Clarity to Efficiency (Paperback)
  • Systematic Program Design: From Clarity to Efficiency (Paperback)
zoom

Systematic Program Design: From Clarity to Efficiency (Paperback)

(author)
£29.99
Paperback 253 Pages / Published: 20/05/2013
  • We can order this

Usually despatched within 2 weeks

  • This item has been added to your basket

Check Marketplace availability

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.

Publisher: Cambridge University Press
ISBN: 9781107610798
Number of pages: 253
Weight: 410 g
Dimensions: 234 x 156 x 16 mm


MEDIA 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

You may also be interested in...

Learn To Program
Added to basket
£19.99
Paperback
R Cookbook
Added to basket
£31.99
Paperback
The C++ Programming Language
Added to basket
Data Analysis Using SQL and Excel
Added to basket
A Tour of C++
Added to basket
£25.99
Paperback
C Programming Absolute Beginner's Guide
Added to basket
Programming
Added to basket
£55.99
Paperback
C++ For Dummies
Added to basket
£21.99
Paperback
Exercises in Programming Style
Added to basket
Coding for Beginners in easy steps
Added to basket
C++ Templates
Added to basket
£58.99
Hardback
Effective C++
Added to basket
£40.99
Paperback
C++ Pocket Reference
Added to basket
M Is for (Data) Monkey
Added to basket
£26.50
Paperback
C++ All-in-One For Dummies
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.