£36.28

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

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

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

Historical
Generating forecast…
£38.00 £36.11 £36.52 £36.93 £37.35 £37.76 £38.17 26 July 2026 13 August 2026 31 August 2026 18 September 2026 06 October 2026
View at Amazon ↗

Price data last checked 18 day(s) ago - will refresh soon

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 73 days • 2 price levels

Days at Price
Current Price
70 days · current 3 days 0 18 35 53 70 £36 £38 Days at Price

Price Analysis

Most common price: £36 (70 days, 95.9%)

Price range: £36 - £38

Price levels: 2 different prices over 73 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
paperback
Domain
Amazon UK
Release Date
19 February 2026
Listed Since
14 July 2025

Barcode

No barcode data available

Similar Products You Might Like

Programming Logic & Design, Comprehensive
97% match

Programming Logic & Design, Comprehensive

Cengage Learning

£45.45 07 Oct 2026
COMPUTER PROGRAMMING - AN ALGORITHMIC APPROACH: Algorithmic Programming
97% match

COMPUTER PROGRAMMING - AN ALGORITHMIC APPROACH: Algorithmic Programming

LAP Lambert Academic Publishing

£69.00 29 Sep 2026
Programming Logic and Design, Comprehensive: Comprehensive Version
97% match

Programming Logic and Design, Comprehensive: Comprehensive Version

Cengage Learning

£46.06 05 Oct 2026
Programming in the 1990s: An Introduction to the Calculation of Programs (Monographs in Computer Science)
97% match

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

Springer

£41.70 23 Sep 2026
Programming Language Explorations
96% match

Programming Language Explorations

Chapman and Hall/CRC

£51.29 27 Aug 2026
Programming Language Explorations
96% match

Programming Language Explorations

Chapman and Hall/CRC

£139.32 24 Sep 2026
Thinking About Programs (ACM Books)
96% match

Thinking About Programs (ACM Books)

Wiley

£42.07 28 Aug 2026
Exploring Computer Science with Scheme (Undergraduate Texts in Computer Science)
96% match

Exploring Computer Science with Scheme (Undergraduate Texts in Computer Science)

Springer

£37.71 25 Sep 2026
Teaching and Learning Computer Programming - Multiple Research Perspectives
96% match

Teaching and Learning Computer Programming - Multiple Research Perspectives

Routledge

£150.03 06 Oct 2026
Programming and Problem Solving with Ada 95
96% match

Programming and Problem Solving with Ada 95

Jones & Bartlett Learning

£141.00 24 Sep 2026
Starting Out with C++ plus MyProgrammingLab with Pearson eText, International Edition: Early Objects
96% match

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

PEARSON EDUCATION

Price unavailable
Programming Language Fundamentals by Example
96% match

Programming Language Fundamentals by Example

CRC Press

£33.02 09 Sep 2026
Programming Logic and Design: Comprehensive (with Videos Printed Access Card)
96% match

Programming Logic and Design: Comprehensive (with Videos Printed Access Card)

Cengage Learning

£41.40 25 Sep 2026
Programming Challenges: The Programming Contest Training Manual (Texts in Computer Science)
96% match

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

Springer

£54.40 21 Aug 2026
Programming Logic and Design: Introductory (with Videos Printed Access Card)
96% match

Programming Logic and Design: Introductory (with Videos Printed Access Card)

Cengage Learning

£94.99 08 Sep 2026
Programming for Engineers: A Foundational Approach to Learning C and Matlab
96% match

Programming for Engineers: A Foundational Approach to Learning C and Matlab

Springer

£43.38 23 Oct 2026
Simple Program Design, A Step-by-Step Approach, Fifth Edition
96% match

Simple Program Design, A Step-by-Step Approach, Fifth Edition

Cengage Learning

£89.97 26 Sep 2026
Programming Language Design and Implementation - Springer Textbook
96% match

Programming Language Design and Implementation - Springer Textbook

Springer

£48.92 08 Oct 2026
Operations Research mit BASIC auf Commodore 2000/3000, 4000/8000: 12 vollständige Programme
96% match

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

Gabler Verlag

£46.71 27 Sep 2026
Springer - A Science of Operations: History of Computing Book
96% match

Springer - A Science of Operations: History of Computing Book

Springer

£117.50 03 Oct 2026
Problem Solving with Python - Computational Thinking & Programming
96% match

Problem Solving with Python - Computational Thinking & Programming

MIT Press

£40.35 11 Oct 2026
The Creative Programmer
96% match

The Creative Programmer

Manning

£45.08 07 Oct 2026
Pearson Starting Out with Programming Logic and Design Book
96% match

Pearson Starting Out with Programming Logic and Design Book

PEARSON EDUCATION

£93.83 21 Aug 2026
Computer Science: A Structured Programming Approach
96% match

Computer Science: A Structured Programming Approach

£133.11 14 Oct 2026