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

£77.64

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: 77.64 GBP
Availability: InStock

Higher Education

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

£78 today · previous high £78 · all-time low £78

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

Historical

Generating forecast…

Price Distribution

Price distribution over 45 days • 1 price levels

Days at Price

Price Analysis

Most common price: £78 (45 days, 100.0%)

Price range: £78 - £78

Price levels: 1 different prices over 45 days

Product Specifications

Brand: Cambridge University Press
Format: hardcover
ASIN: 1009420992
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Education > Higher Education
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

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

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

CRC Press How Things Work: The Technology Edition Book

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)

Programming Languages and Systems

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

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

Engineering the Computer Science and IT

Modern Information Systems