£88.46

About as cheap as it gets — within 5% of the all-time low it hit 2 months ago.

£88 today · all-time low £85 (Jul 2026) · usually £90

Cambridge University Press Formal Methods, Informally: How to Write Programs That Work

View at Amazon

Price History & Forecast

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

Last 90 days · 90 data points

Historical
Generating forecast…
£90.00 £84.50 £85.70 £86.90 £88.10 £89.30 £90.50 26 July 2026 17 August 2026 08 September 2026 30 September 2026 23 October 2026
View at Amazon ↗

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 Distribution

Price distribution over 90 days • 3 price levels

Days at Price
Current Price
30 days 33 days · current 27 days 0 8 17 25 33 £85 £88 £90 Days at Price

Price Analysis

Most common price: £88 (33 days, 36.7%)

Price range: £85 - £90

Price levels: 3 different prices over 90 days

Description

Learn to program more effectively, faster, with better results… and enjoy both the learning experience and the benefits it ultimately brings. While this undergraduate-level textbook is motivated by formal methods, so encouraging habits that lead to correct and concise computer programs, its informal presentation sidesteps any rigid reliance on formal logic which programmers are sometimes led to believe is required. Instead, a straightforward and intuitive use of simple 'What's true here?' comments encourages precision of thought without prescription of notation. Drawing on decades of the author's experience in teaching/industry, the text's careful presentation concentrates on key principles of structuring and reasoning about programs, applying them first to small, understandable algorithms. Then students can concentrate on turning those reliably into their corresponding – and correct – program source codes. The text includes over 200 exercises, for many of which full solutions are provided. A set of all solutions is available for instructors' use.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
19 February 2026
Listed Since
14 July 2025

Barcode

No barcode data available

Similar Products You Might Like

Simple Program Design: A Step-by-Step-Approach
98% match

Simple Program Design: A Step-by-Step-Approach

Cengage Learning

£81.27 24 Sep 2026
Cultures of Programming: The Development of Programming Concepts and Methodologies
98% match

Cultures of Programming: The Development of Programming Concepts and Methodologies

Cambridge University Press

£70.16 23 Sep 2026
Doing, Knowing, and Getting it Right: Methodologism as Pragmatism
98% match

Doing, Knowing, and Getting it Right: Methodologism as Pragmatism

Cambridge University Press

£90.25 08 Aug 2026
Thinking Through Methods – A Social Science Primer
98% match

Thinking Through Methods – A Social Science Primer

University of Chicago Press

£72.00 12 Sep 2026
Mathematical Modeling for Computer Applications
98% match

Mathematical Modeling for Computer Applications

Wiley

£200.69 12 Aug 2026
Academic Writing Demystified: Publish and Thrive
98% match

Academic Writing Demystified: Publish and Thrive

Cambridge University Press

£90.00 23 Sep 2026
Human-Technology Partnerships at Work
97% match

Human-Technology Partnerships at Work

Cambridge University Press

£94.96 24 Sep 2026
Contemporary American Fiction and Cultures of Self-Help (Cambridge Studies in Twenty-First-Century Literature and Culture)
97% match

Contemporary American Fiction and Cultures of Self-Help (Cambridge Studies in Twenty-First-Century Literature and Culture)

Cambridge University Press

£78.21 24 Sep 2026
Teaching Modern Languages: Knowledge, Skills and Methods
97% match

Teaching Modern Languages: Knowledge, Skills and Methods

Cambridge University Press

£76.59 22 Sep 2026
Empirical Research and Writing: A Political Science Student's Practical Guide
97% match

Empirical Research and Writing: A Political Science Student's Practical Guide

Cambridge University Press

£97.55 12 Sep 2026
How Things Work: The Technology Edition - CRC Press
97% match

How Things Work: The Technology Edition - CRC Press

CRC Press

£135.00 13 Oct 2026
Explorations in the Digital History of Ideas: New Methods and Computational Approaches
97% match

Explorations in the Digital History of Ideas: New Methods and Computational Approaches

Cambridge University Press

£96.59 23 Sep 2026
Engineering Adaptive Software Systems: Communications of NII Shonan Meetings
97% match

Engineering Adaptive Software Systems: Communications of NII Shonan Meetings

Springer

£70.81 18 Sep 2026
Achieving Quality Software: Including Its Application to Safety-Related Systems
97% match

Achieving Quality Software: Including Its Application to Safety-Related Systems

Springer

£91.49 17 Sep 2026
Mathematics in Computational Science and Engineering
97% match

Mathematics in Computational Science and Engineering

Wiley

£157.99 19 Sep 2026
Advanced Mathematics in Computing, Communication and Security
97% match

Advanced Mathematics in Computing, Communication and Security

Wiley

£173.39 28 Aug 2026
Mathematical Rigour and Informal Proof (Elements in the Philosophy of Mathematics)
97% match

Mathematical Rigour and Informal Proof (Elements in the Philosophy of Mathematics)

Cambridge University Press

£50.60 12 Apr 2026
Programming Languages and Systems
97% match

Programming Languages and Systems

Saint Philip Street Press

£65.59 09 Oct 2026
Methods in Historical Corpus Pragmatics: Epistemic Stance in Early Modern English (Studies in English Language)
97% match

Methods in Historical Corpus Pragmatics: Epistemic Stance in Early Modern English (Studies in English Language)

Cambridge University Press

£95.00 13 Sep 2026
Logical Pluralism and Logical Consequence
97% match

Logical Pluralism and Logical Consequence

Cambridge University Press

£78.06 13 Sep 2026
Digital Picture Processing: Volume 2
97% match

Digital Picture Processing: Volume 2

Academic Press

£77.00 30 Sep 2026
Expressions, Speech Acts and Discourse: A Pedagogic Interactional Grammar of English
97% match

Expressions, Speech Acts and Discourse: A Pedagogic Interactional Grammar of English

Cambridge University Press

£25.66 04 Oct 2026
Engineering the Computer Science and IT
97% match

Engineering the Computer Science and IT

IntechOpen

£158.35 23 Sep 2026
Modern Information Systems
97% match

Modern Information Systems

IntechOpen

£119.00 18 Sep 2026