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

£36.32

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

Algorithms

About as cheap as it gets. The only time it was cheaper was 1 month ago.

£36 today · all-time low £36 (Apr 2026) · usually the usual

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

Historical

Generating forecast...

Price Distribution

Price distribution over 21 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £36 (11 days, 52.4%)

Price range: £36 - £40

Price levels: 3 different prices over 21 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

Brand: Cambridge University Press
Format: paperback
ASIN: 1009421026
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

About as cheap as it gets. The only time it was cheaper was 1 month ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Programming Logic & Design, Comprehensive

COMPUTER PROGRAMMING - AN ALGORITHMIC APPROACH: Algorithmic Programming

Programming Logic and Design, Comprehensive: Comprehensive Version

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

Programming Language Explorations

Programming Language Explorations

Thinking About Programs (ACM Books)

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

Routledge Teaching and Learning Computer Programming Book

Programming and Problem Solving with Ada 95

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

Programming Language Fundamentals by Example

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

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

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

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

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

Springer Programming Language Design and Implementation Book

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

Springer - A Science of Operations: History of Computing Book

MIT Press Problem Solving with Python - Computational Thinking

The Creative Programmer

Starting Out with Programming Logic and Design

Computer Science: A Structured Programming Approach