Specification and Seamless Verification ofEmbedded Real-Time Systems: FOCUS on Isabelle - Image 1

£65.63

VDM Verlag Specification and Seamless Verification ofEmbedded Real-Time Systems: FOCUS on Isabelle

Name: Specification and Seamless Verification ofEmbedded Real-Time Systems: FOCUS on Isabelle
Brand: VDM Verlag
Price: 65.63 GBP
Availability: InStock

Engineering & Technology

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

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

Historical

Generating forecast...

Price Distribution

Price distribution over 634 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £66 (500 days, 78.9%)

Price range: £63 - £66

Price levels: 3 different prices over 634 days

Product Specifications

Brand: VDM Verlag
Format: paperback
ASIN: 3836494523
Category: Books > Subjects > Science, Nature & Maths > Engineering & Technology
Domain: Amazon UK
Publication Date: 15 April 2008
Listed Since: 23 April 2008

Barcode

No barcode data available

VDM Verlag Specification and Seamless Verification ofEmbedded Real-Time Systems: FOCUS on Isabelle

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

SOFTWARE REUSE AND INDUSTRIALIZATION: MODEL-DRIVEN INTEGRATION OF SOFTWARE AND SERVICE COMPONENTS

Improvisation, Computers and Interaction

Internationalization of Service Firms: The case of Computer-Related Services

Testing and Verifying Web Services

Introspektive modellgetriebene Softwareentwicklung

Taxonomy of IDS: Intrusion Detection using System Call Sequence

Training Interventions in the Public Sector: The imperatives of Training Interventions

Dynamics of Complex Urban Engineering Systems: Behavioural Modelling and Microsimulation

Multi-National Project Team Communications: International Cultural Influences

Marketing und Organisationsentwicklung in der Weiterbildung: Leitbildanalyse exemplarischer Anbieter

Governance of Inter-firm Innovation Projects

Structural Models for Large Software Systems: Dependency Matters

Continuous Assessment in Swaziland: The Predictable Fate of Western Innovation in Africa

Breakdowns in Controls in Automated Systems

Infrared Camera-based Imaging Techniques for Solar-grade Silicon: From First Principles to Industrial Feasibility

Prozessuale Evaluation von Teamsupervisionen im Gesundheitswesen

State Dependence in Work-Related Training: Modelling and Estimation

Career and Technical Education Graduates? Employability Skills:: Education Supply and the Labor Market Demands in Jordan

Talk Among Yourselves: Faculty Communicating about Teaching Online

Intrapreneurship: An Internal Resource Perspective

Discovering Intentions in Text and Semantic Calculus: Intention Overview, Classification, Representation, Discovery and Interactions with Other Semantic Relations

Self Regulated Learning and Epistemological Beliefs- A Predictive Model for Undergraduate Asynchronous Web-based Learning

Service Provision Framework for Intelligent Transportation Systems: Trust Based Agent Geographic Coalition Formation for Intelligent Transportation Systems

The Role of Features and Aspects in Software Development: Similarities, Differences, and Synergetic Potential