Systematic Program Design: From Clarity to Efficiency - Image 1

£10.09

Cambridge University Press Systematic Program Design: From Clarity to Efficiency

Name: Systematic Program Design: From Clarity to Efficiency
Brand: Cambridge University Press
Price: 10.09 GBP
Availability: InStock

Architecture & Microprocessors

It has never been this cheap. We have no record of a lower price.

£10 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 43 days · 43 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 43 days • 1 price levels

Days at Price

Price Analysis

Most common price: £10 (43 days, 100.0%)

Price range: £10 - £10

Price levels: 1 different prices over 43 days

Description

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.

Product Specifications

Brand: Cambridge University Press
Format: paperback
ASIN: 1107610796
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 20 May 2013
Listed Since: 29 August 2012

Barcode

No barcode data available

Cambridge University Press Systematic Program Design: From Clarity to Efficiency

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Specifying Software: A Hands-On Introduction

Programming with Higher-Order Logic

Modelling Systems: Practical Tools and Techniques in Software Development

Introduction to Parallel Programming

Communicative Syllabus Design: A Sociolinguistic Model for Designing the Content of Purpose-Specific Language Programmes

System Design: A Practical Guide with SpecC

System Design: A Practical Guide with SpecC

Probabilistic Modelling

Model-Based Software Testing and Analysis with C#

Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)

Systems Analysis and Synthesis: Bridging Computer Science and Information Technology

Design Theory and Computer Science: Processes and Methodology of Computer Systems Design: 15 (Cambridge Tracts in Theoretical Computer Science, Series Number 15)

Practical Database Programming with Visual Basic.NET

BCPL: The Language and its Compiler

Programming Languages: Design and Implementation (International Edition)

Formal Specification Techniques for Engineering Modular C Programs: 1 (International Series in Software Engineering, 1)

Computational Semantics with Functional Programming

Algorithms on Strings

An Introduction to String Diagrams for Computer Scientists (Elements in Applied Category Theory)

Designing Economic Mechanisms: 0

The Systematic Experiment

Algorithmic Graph Theory

Design Patterns: Elements of Reusable Object-Oriented Software

Systems Architecting: Methods and Examples