Model Checking Abstract State Machines - Image 1

£65.57

VDM Verlag Model Checking Abstract State Machines

Name: Model Checking Abstract State Machines
Brand: VDM Verlag
Price: 65.57 GBP
Availability: InStock

Computer Science

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

£66 today · all-time low £63 (Nov 2025) · 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 628 days • 628 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 628 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £97 (326 days, 51.9%)

Price range: £63 - £97

Price levels: 3 different prices over 628 days

Product Specifications

Brand: VDM Verlag
Format: Paperback
ASIN: 3639018915
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 15 May 2008
Listed Since: 23 May 2008

Barcode

No barcode data available

VDM Verlag Model Checking Abstract State Machines

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

Price History & Forecast

Price Distribution

Price Analysis

Product Specifications

Barcode

Similar Products You Might Like

Architecting Automated Design Systems

Breakdowns in Controls in Automated Systems

Staging for Creative Collaboration in Design Teams

Testing and Verifying Web Services

Measurement, Modeling, and Synchronization for the Mobile Channel

Sensemaking and Construction Meaning

Self-Managing Publish/Subscribe Systems

State Dependence in Work-Related Training: Modelling and Estimation

Deterministic and Stochastic Signal Processing: Continuous and Discrete Time Signals

Structural Models for Large Software Systems: Dependency Matters

Social Support, Social Integration, and Stress at Work

Spatial Learning in Virtual Environments

Corporate Social Responsibility and Sustainable Production Technologies

Attribute Enabled Software Development

Evaluating the Interactivity of Ubiquitous Services

Business Process Automation - Performance and Capacity Planning with BPEL

Handwritten Document Image Processing

Governance of Inter-firm Innovation Projects

Text, Language, and Literature

Multimedia Security

Improvisation, Computers and Interaction

Vocational Education in Australia

Approaching Proof in a Community of Mathematical Practice

Perceptions of Secure Life Space