£66.93

Springer Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)

Price data last checked 155 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

This is the usual price. Wait for it to drop, or tell us your number.

£67 today · usual range £0–£0 · best ever £62

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

Historical
Generating forecast...
£95.02 £58.81 £66.71 £74.61 £82.51 £90.41 £98.31 11 June 2024 01 November 2024 25 March 2025 16 August 2025 07 January 2026

Price Distribution

Price distribution over 576 days • 5 price ranges

Days at Price
Current Price
43 days · current 2 days 57 days 99 days 375 days 0 94 188 281 375 £62-69 £69-75 £75-82 £82-88 £88-95 Days at Price

Price Analysis

Most common range: £88-95 (375 days, 65.1%)

Price range: £62 - £95

Price levels: 5 price ranges over 576 days

Description
Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory. This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

Key Features

New

Mint Condition

Dispatch same day for order received before 12 noon

Guaranteed packaging

No quibbles returns

Product Specifications
Brand
Springer
Format
hardcover
ASIN
3540208542
Category
Books > Subjects > Computing & Internet > Programming > Algorithms
Domain
Amazon UK
Release Date
14 May 2004
Listed Since
11 December 2006

Barcode

No barcode data available