Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28–October 10, 1981: 95 (Nato Science Series C:) - Image 1

£165.97

Springer Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28–October 10, 1981: 95 (Nato Science Series C:)

Name: Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 1981: 95 (Nato Science Series C:)
Brand: Springer
Price: 165.97 GBP
Availability: InStock

Mathematics

About as cheap as it gets. The only time it was cheaper was 2 months ago.

£166 today · all-time low £166 (Jun 2026) · usually £166

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

Historical

Generating forecast…

Price Distribution

Price distribution over 68 days • 1 price levels

Days at Price

Price Analysis

Most common price: £166 (68 days, 100.0%)

Price range: £166 - £166

Price levels: 1 different prices over 68 days

Description

The theorem proving system finds a way to combine the axioms to prove the theorem, and in the process, it completes the desired calculation.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 9400970218
Category: Books > Subjects > Science, Nature & Maths > Mathematics
Domain: Amazon UK
Release Date: 08 December 2011
Listed Since: 21 December 2012

Barcode

No barcode data available

Springer Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28–October 10, 1981: 95 (Nato Science Series C:)

About as cheap as it gets. The only time it was cheaper was 2 months ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Sage Publications - The Logic Model Guidebook - Reference Text

Sloggi Women's sloggi ZERO Feel Flow Top, BLACK

Odlo Sky Women's Blouse, womens, Women's Blouse, 502661, Odlo graphite grey - beetroot purple, XS

Joe Browns Women's Soft Crinkle Longline Lace Blouse, Black, 14

TOM TAILOR Women's Blouse, 38999 - Dark Pink, 8

Seidensticker Women's Fashion-Bluse 1/1-Lang Blouse, Black (Black 39), 8 (Manufacturer size: 36)

Seidensticker Women's Slim Fit Langarm Bluse Blouse, Weiß, 32

TOM TAILOR Women's 1035247 Blouse, 30024-Explorer Green, 18

Joe Browns Women's Bold Floral Printed Peplum Hem Long Sleeve Top, Relaxed, Pink, UK 12

s.Oliver BLACK LABEL Men's 2134158 Pants, 5955, 44W

ALARY Women's Blouse Shirt, Light Blue Stripes, S

LOOKS BY WOLFGANG JOOP Women's Logo Print Blouse - White - Large

TYLIN Women's Blouse, Blue Green, Large

Seidensticker Women's 133001-43 Blouse, Pink, 34

Joe Browns Women's Bold Floral Printed Peplum Hem Long Sleeve Top, Relaxed, Pink, UK 16

TOM TAILOR Women's 1035247 Blouse, 30024-Explorer Green, 20

Seidensticker Women's Blouse, Blue, 18

Seidensticker Women's Blouse, Blue, 22

Seidensticker Women's Blouse, Black, 20

Seidensticker Women's 133445 Dress, Schwarz, 36

s.Oliver BLACK LABEL Blouse Long Sleeve, 59a4, 18

Seidensticker Women's Fashion-Bluse 1/1-Lang Blouse, Blue (blue 19), 12 (Manufacturer size: 40)

SELETED HOMME Men's Slh190-reg Tapered Leroy Pleat Pant Noos Trousers, Black, S EU, Black, S

Joe Browns Women's Flowy Ruffle Long Sleeve Blouse, Relaxed, Cream, UK 18