Formal Methods, Informally: How to Write Programs That Work - Image 1

£59.79

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

Name: Formal Methods, Informally: How to Write Programs That Work
Brand: Cambridge University Press
Price: 59.79 GBP
Availability: InStock

Algorithms

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

£60 today · cheaper than every other day in the last 7 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 127 days • 127 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 127 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £90 (126 days, 99.2%)

Price range: £60 - £90

Price levels: 2 different prices over 127 days

Product Specifications

Brand: Cambridge University Press
Format: hardcover
ASIN: 1009420992
Category: Books > Subjects > Computing & Internet > Programming > Algorithms
Domain: Amazon UK
Release Date: 19 February 2026
Listed Since: 14 July 2025

Barcode

No barcode data available

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

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

Price History & Forecast

Price Distribution

Price Analysis

Product Specifications

Barcode

Similar Products You Might Like

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

Cultures of Programming: The Development of Programming Concepts and Methodologies

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

Thinking Through Methods – A Social Science Primer

Mathematical Modeling for Computer Applications

Academic Writing Demystified: Publish and Thrive

Human-Technology Partnerships at Work

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

Teaching Modern Languages: Knowledge, Skills and Methods

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

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

Engineering Adaptive Software Systems: Communications of NII Shonan Meetings

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

Mathematics in Computational Science and Engineering

Advanced Mathematics in Computing, Communication and Security

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

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

Logical Pluralism and Logical Consequence

Digital Picture Processing: Volume 2

Engineering the Computer Science and IT

Modern Information Systems

Research Exposed: How Empirical Social Science Gets Done in the Digital Age

The Fundamentals of Social Research

Expressivity in Modern Poetry