The Verification of MDG Algorithms in the HOL Theorem Prover - Image 1

£56.00

LAP Lambert Academic Publishing The Verification of MDG Algorithms in the HOL Theorem Prover

Name: The Verification of MDG Algorithms in the HOL Theorem Prover
Brand: LAP Lambert Academic Publishing
Price: 56.0 GBP
Availability: InStock

Hardware & DIY

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

View at Amazon

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

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

£56 today · previous high £56 · all-time low £49

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

Historical

Generating forecast...

Price Distribution

Price distribution over 613 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £56 (588 days, 95.9%)

Price range: £49 - £56

Price levels: 2 different prices over 613 days

Product Specifications

Brand: LAP Lambert Academic Publishing
Format: Paperback
ASIN: 3838317386
Category: Books > Subjects > Computing & Internet > Hardware & DIY
Domain: Amazon UK
Release Date: 13 October 2009
Listed Since: 20 October 2009

Barcode

No barcode data available

LAP Lambert Academic Publishing The Verification of MDG Algorithms in the HOL Theorem Prover

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

Selected Topics On Homological Algebra

Hodge Theory of Isolated Hypersurface Singularities

Ocherki istorii razvitiya teorii mekhanicheskikh kolebaniy

Digital Watermarking of Double Host Images

Computational Homological Algebra (Mathematical Engineering)

Heutagogy: In Medical Education

Learning and Innovation: in High Tech Small Firms

Algebraic Structures and Combinatorial Designs

Fenomen techeniya vremeni: Logiko-filosofskiy analiz

Using Algorithm & Program Visualization in Learning Data Structure

Data and Computer Communications

Experience of Women in Higher Education: Women and Higher Education: Nigerian Perspective

Tendencies of Digitalization of Company Management Processes

Images of Old Age and Critical Theory

Using Critical Theory Approaches to Teach Higher Level Thinking

PROJECT REVIEW SOLUTION-DIRECTED MODEL: USING SYSTEM DYNAMIC MODELLING

New Trends in Social Group Work

Modular Educational Program in Teaching English as a Foreign Language: Modular Education & EFL

RECENT ADVANCES IN OPG

Tools and Algorithms for the Construction and Analysis of Systems

Tekstovaya deyatel'nost' studentov v kontekste metodicheskoy masterskoy: formirovanie professional'nykh kompetentsiy uchitelya

MATHEMATICAL MODELING

Mathematical Problem Solving - 2nd Edition: Teachers' attitudes, knowledge, beliefs and practices

Newest Advances in Graph Theory and Computer Science