Program Construction: 22 (Cambridge Computer Science Texts, Series Number 22) - Image 1

£46.00

Cambridge University Press Program Construction: 22 (Cambridge Computer Science Texts, Series Number 22)

Name: Program Construction: 22 (Cambridge Computer Science Texts, Series Number 22)
Brand: Cambridge University Press
Price: 46.0 GBP
Availability: InStock

Introduction to Programming

This is the most expensive it has ever been. Walk away.

£46 today · previous high £46 · all-time low £44

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 81 days · 81 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 81 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £44 (62 days, 76.5%)

Price range: £44 - £46

Price levels: 2 different prices over 81 days

Description

This textbook is an introduction to the design and writing of computer programs. It leads the reader through all the stages of program construction from the original specifications through to the final program. The formal verification of intermediate versions of the program is studied in considerable detail. The authors show how, given the formal specification of a program, data structure and program structure diagrams are drawn and then converted into a procedural program in a program design language (PDL). They demonstrate the conversion of PDL into a variety of real programming languages including Pascal, FORTRAN, COBOL, and Assembler. The book also includes chapters on abstract data types, analysing existing programs, and a small case study. First-year undergraduates in computer science and graduates taking courses in computing will find this a comprehensive introduction to program construction.

Product Specifications

Brand: Cambridge University Press
Format: paperback
ASIN: 0521318831
Category: Books > Subjects > Computing & Internet > Programming > Introduction to Programming
Domain: Amazon UK
Release Date: 21 August 2008
Listed Since: 08 January 2007

Barcode

No barcode data available

Cambridge University Press Program Construction: 22 (Cambridge Computer Science Texts, Series Number 22)

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Systematic Program Design: From Clarity to Efficiency

Specifying Software: A Hands-On Introduction

Programming with Higher-Order Logic

Programming Languages: Design and Implementation (International Edition)

Illustrating Pascal

Introduction to Parallel Programming

BCPL: The Language and its Compiler

Designs, Graphs, Codes and Their Links (London Mathematical Society Student Texts): 22 (London Mathematical Society Student Texts, Series Number 22)

Crafting A Compiler

Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)

Problem Solving and Program Design in C

Fundamentals of OOP and Data Structures in Java

Computer Architecture and Implementation

Python for Software Design: How to Think Like a Computer Scientist

Programming Language Concepts (Undergraduate Topics in Computer Science)

Numerical Mathematics: A Laboratory Approach

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

Application Programming in Structured C

Discrete Maths Software Engineers: An Introduction for Software Engineers

Data Structures of Pascal, Algol 68, PL/1 and Ada

Modelling Systems: Practical Tools and Techniques in Software Development

Algorithmic Graph Theory

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

Model-Based Software Testing and Analysis with C#