£41.32

Thinking About Programs (ACM Books)

Architecture & Microprocessors

Price data last checked 130 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

This is the usual price. Wait for it to drop, or tell us your number.

£41 today · usual range £0–£0 · best ever £39

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 93 days • 93 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 93 days • 6 price levels

Days at Price

Current Price

Price Analysis

Most common price: £43 (57 days, 61.3%)

Price range: £39 - £47

Price levels: 6 different prices over 93 days

Description

This book describes how to think about computer programs, and how to use mathematics as part of that thinking. Many books and online tutorials teach the basics of coding: the syntax of the language, and how to translate an algorithm into code. But how do you come up with that algorithm? And how can you be confident that the algorithm is correct? The first part of the book considers small programs that use a loop, and how to demonstrate their correctness using loop invariants. It also covers some algorithms and algorithmic techniques that every programmer should know. The second half of the book considers slightly larger programs. It teaches the basics of modularisation, splitting up a program into manageable chunks. It teaches about abstract datatypes, values within a program that can be treated as mathematical values: how to specify their behaviours formally; and how to treat them as abstract mathematical objects when programming. It also teaches how to use data structures to represent abstract datatypes, and what it means for such a representation to be correct. And it presents some abstract datatypes and data structures that every programmer should know. The book is aimed at those who want to obtain a better understanding of programs they work on, and so become better programmers. The target audience ranges from those who are just starting out, to professional programmers. The book aims to be pragmatic: the philosophy is to include enough formality to be convincing and to guide the programmer towards correct code, without getting bogged down in the mathematics.

Product Specifications

Format: paperback
ASIN: B0FH9N5VQG
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 01 August 2025
Listed Since: 11 July 2025

Barcode

No barcode data available

Thinking About Programs (ACM Books)

This is the usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Programming Language Explorations

Programming Language Explorations

BASIC-Programmierbuch: zu den grundlegenden Ablaufstrukturen der Datenverarbeitung (Programmieren von Mikrocomputern)

Programming Language Implementation: A Practical Introduction with Python

Starting Out with C++ plus MyProgrammingLab with Pearson eText, International Edition: Early Objects

Systematic Program Design: From Clarity to Efficiency

Problem Solving and Program Concepts: United States Edition

Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques (Advanced Information and Knowledge Processing)

Data Structures Using Java

From Astrophysics to Unconventional Computation: Essays Presented to Susan Stepney on the Occasion of her 60th Birthday: 35 (Emergence, Complexity and Computation, 35)

Mathematics in Computing: An Accessible Guide to Historical, Foundational and Application Contexts (Undergraduate Topics in Computer Science)

Programming in the 1990s: An Introduction to the Calculation of Programs (Monographs in Computer Science)

Programmierstil in Pascal, Cobol, Fortran, Basic, PL/I (Springer Compass)

Datenverarbeitungssysteme: Aufbau und Arbeitsweise

Operations Research mit BASIC auf Commodore 2000/3000, 4000/8000: 12 vollständige Programme

Pascal at Work and Play: An Introduction to Computer Programming in Pascal

GCSE Computer Science OCR Revision Guide includes Online Edition, Videos & Quizzes: perfect for the 2026 and 2027 exams (CGP OCR GCSE Computer Science)

Essential Computer Science: A Programmer’s Guide to Foundational Concepts

A Science of Operations: Machines, Logic and the Invention of Programming (History of Computing)

Creativity and HCI: From Experience to Design in Education: Selected Contributions from HCIEd 2007, March 29-30, 2007, Aveiro, Portugal: 289 (IFIP ... and Communication Technology, 289)

Starthilfe Informatik

Essentials of Programming Languages 3e (OIP) (The MIT Press)

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

Programming Challenges: The Programming Contest Training Manual (Texts in Computer Science)