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:, 95) - Image 1

£159.88

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:, 95)

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:, 95)
Brand: Springer
Price: 159.88 GBP
Availability: InStock

Languages

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

£160 today · all-time low £160 (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 39 days · 39 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 39 days • 1 price levels

Days at Price

Price Analysis

Most common price: £160 (39 days, 100.0%)

Price range: £160 - £160

Price levels: 1 different prices over 39 days

Description

powerful operations on them. An early step in this direction was the development of APl, and more recent examples have been SETl which enables a user to code in terms of mathematical enti ties such as sets and BDl which allows a user, presumably a businessman, to specify a computation in terms of a series of tabular forms and a series of processing paths through which data flows. The design and implementation of such languages are examined in chapters by P. GOLDBERG. Another extension to traditional methods is made possible by systems designed to automatically handle low level flow-of control decisions. All the above higher level languages do this implicitly with their built in operators. PROLOG is a language which does this with a theorem proving mechanism employing primarily unification and backtracking. The programmer specifies the problem to be solved with a set of formal logic statements including a theorem to be proved. The theorem proving system finds a way to combine the axioms to prove the theorem, and in the process, it completes the desired calculation. H. GAllAIRE has contributed a chapter describing PROLOG giving many examples of its usage.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 9027715041
Category: Books > Subjects > Computing & Internet > Programming > Languages
Domain: Amazon UK
Release Date: 31 December 1982
Listed Since: 12 January 2007

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:, 95)

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

SIGEL LH133 Table-Top Literature Holder, for A6 and DL, with 3 compartments, uv resistant acrylic, clear, 2 Pieces

SIGEL LH113 Table-Top Literature Holder, for A6 and DL, uv resistant acrylic, clear, 4 Pieces

SIGEL LH132 Table-Top Literature Holder, for A5, with 3 compartments, uv resistant acrylic, clear, 2 Pieces

SIGEL LH130 Table-Top Literature Holder, for A4, with 3 compartments, uv resistant acrylic, clear, 1 Piece

SIGEL LH130 Table-Top Literature Holder, for A4, with 3 compartments, uv resistant acrylic, clear, 2 Pieces

SIGEL LH111 Table-Top Literature Holder, for A4, with additional business card compartment, uv resistant acrylic, clear, 4 Pieces

taymar 2C230X Table Brochure Stand, DIN A4, 2 Levels, Transparent, Without Divider

SIGEL LH112 Table-Top Literature Holder, for A5, uv resistant acrylic, clear, 4 Pieces

SIGEL LH117 Wall-Mounted Literature Holder, for A6 and DL, uv resistant acrylic, clear, 4 Pieces

SIGEL LH137 Wall-Mounted Literature Holder, for A6 and DL, with 3 compartments, uv resistant acrylic, clear, 2 Pieces

taymar 4C230 Table Brochure Stands, DIN Long (DL), 4 Levels, Transparent

taymar DIN A4 brochure holder, brochure stand, transparent, table brochure stand, pack of 5

taymar Brochure Stands, Brochure Holder with 4 Levels in DIN A4 Portrait Format, Display Stand, Pack of 8

helit Placativ Wall-Mounted Brochure Display Rack, 9 x A4 956 x 280 x 59 MM Transparent, HS812102

SIGEL LH110 Table-Top Literature Holder, for A4, uv resistant acrylic, clear, 4 Pieces

Taymar Brochure Stand for DIN A4, A5, DIN Long, DL, A6 Flyer, Flexible, Transparent Table Brochure Stand as Stable Stand, Flyer Stand with 4 Levels, Optional as Wall Brochure Holder

SIGEL LH137 Wall-Mounted Literature Holder, for A6 and DL, with 3 compartments, uv resistant acrylic, clear, 1 Piece

taymar 4C110 Brochure Stands, Flyer Holder, DIN Long (10.5 × 21 cm) with 4 Levels, Transparent

SIGEL LH116 Wall-Mounted Literature Holder, for A5, uv resistant acrylic, clear, 4 Pieces

Azar Displays 252922-100PK Counter Trifold Brochure Holder with Business Card Pocket, 100-Pack

VITAdisplays Table Brochure Stand Flyer Stand Brochure Holder Transparent DIN A5 Pack of 10

SIGEL LH135 Wall-Mounted Literature Holder, for A4, with 3 compartments, uv resistant acrylic, clear, 1 Piece

Taymar taymar 4C230X Brochure Stand, Brochure Holder with 4 Levels in DIN A4 Portrait Format, Display Stand, Set of 2

SIGEL LH115 Wall-Mounted Literature Holder, for A4, uv resistant acrylic, clear, 4 Pieces