£65.99

About as cheap as it gets — within 5% of the all-time low it hit 1 month ago.

£66 today · all-time low £63 (Aug 2026) · usually the usual

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

View at Amazon

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 58 days · 58 data points (no recent data)

Historical
Generating forecast…
£66.00 £62.96 £63.63 £64.29 £64.95 £65.61 £66.28 26 July 2026 09 August 2026 23 August 2026 06 September 2026 21 September 2026
View at Amazon ↗

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

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 Distribution

Price distribution over 58 days • 2 price levels

Days at Price
Current Price
11 days 47 days · current 0 12 24 35 47 £63 £66 Days at Price

Price Analysis

Most common price: £66 (47 days, 81.0%)

Price range: £63 - £66

Price levels: 2 different prices over 58 days

Description
The purpose of this thesis is to create a coupling of the formal specification framework Focus in the generic theorem prover Isabelle/HOL, a logical framework based on Higher-Order Logic. The main focus of this work is on specification and verification of systems that are especially safety critical - embedded real-time systems. The specification and verification/validationmethodologies are treated as a single, joined, methodology with the main focus on the specification part.The key contributions of the thesis are+ Embedding of that part of the framework Focus, which is appropriate for the specification of real-time systems, into Isabelle/HOL. "Focus on Isabelle" enables to validate and verify system specificationsin a methodological way.+ Syntax extensions for Focus for the argumentation over time intervals: a special kind of tables, timed state transition diagrams, and a number of new operators. The deep embedding into Isabelle/HOL includes all these extensions.+ Schemata for automatic correctness proofs in Isabelle/HOL of the syntactic interfaces for specified system components.

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

Similar Products You Might Like

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

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

VDM Verlag

£71.00 17 Sep 2026
Improvisation, Computers and Interaction
98% match

Improvisation, Computers and Interaction

VDM Verlag

£50.00 01 Oct 2026
Internationalization of Service Firms: The case of Computer-Related Services
98% match

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

VDM Verlag

£67.00 17 Sep 2026
Testing and Verifying Web Services
98% match

Testing and Verifying Web Services

VDM Verlag

£65.56 01 Oct 2026
Introspektive modellgetriebene Softwareentwicklung
98% match

Introspektive modellgetriebene Softwareentwicklung

VDM Verlag

£58.00 18 Sep 2026
Taxonomy of IDS: Intrusion Detection using System Call Sequence
98% match

Taxonomy of IDS: Intrusion Detection using System Call Sequence

VDM Verlag

£51.00 23 Sep 2026
Training Interventions in the Public Sector: The imperatives of Training Interventions
98% match

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

VDM Verlag

£60.00 18 Sep 2026
Dynamics of Complex Urban Engineering Systems: Behavioural Modelling and Microsimulation
98% match

Dynamics of Complex Urban Engineering Systems: Behavioural Modelling and Microsimulation

VDM Verlag

£70.00 17 Sep 2026
Multi-National Project Team Communications: International Cultural Influences
98% match

Multi-National Project Team Communications: International Cultural Influences

VDM Verlag

£55.00 23 Sep 2026
Marketing und Organisationsentwicklung in der Weiterbildung: Leitbildanalyse exemplarischer Anbieter
98% match

Marketing und Organisationsentwicklung in der Weiterbildung: Leitbildanalyse exemplarischer Anbieter

VDM Verlag

£57.00 17 Sep 2026
Governance of Inter-firm Innovation Projects
98% match

Governance of Inter-firm Innovation Projects

VDM Verlag

£65.56 17 Sep 2026
Structural Models for Large Software Systems: Dependency Matters
98% match

Structural Models for Large Software Systems: Dependency Matters

VDM Verlag

£66.00 11 Sep 2026
Continuous Assessment in Swaziland: The Predictable Fate of Western Innovation in Africa
98% match

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

VDM Verlag

£57.00 18 Sep 2026
Breakdowns in Controls in Automated Systems
98% match

Breakdowns in Controls in Automated Systems

VDM Verlag

£66.99 18 Sep 2026
Infrared Camera-based Imaging Techniques for Solar-grade Silicon: From First Principles to Industrial Feasibility
98% match

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

VDM Verlag

£52.00 23 Sep 2026
Prozessuale Evaluation von Teamsupervisionen im Gesundheitswesen
98% match

Prozessuale Evaluation von Teamsupervisionen im Gesundheitswesen

VDM Verlag

£67.00 23 Sep 2026
State Dependence in Work-Related Training: Modelling and Estimation
98% match

State Dependence in Work-Related Training: Modelling and Estimation

VDM Verlag

£72.00 18 Sep 2026
Career and Technical Education Graduates? Employability Skills:: Education Supply and the Labor Market Demands in Jordan
98% match

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

VDM Verlag

£52.40 23 Sep 2026
Talk Among Yourselves: Faculty Communicating about Teaching Online
98% match

Talk Among Yourselves: Faculty Communicating about Teaching Online

VDM Verlag

£72.00 17 Sep 2026
Intrapreneurship: An Internal Resource Perspective
98% match

Intrapreneurship: An Internal Resource Perspective

VDM Verlag

£68.39 19 Sep 2026
Discovering Intentions in Text and Semantic Calculus: Intention Overview, Classification, Representation, Discovery and Interactions with Other Semantic Relations
98% match

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

VDM Verlag

£56.00 17 Sep 2026
Self Regulated Learning and Epistemological Beliefs- A Predictive Model for Undergraduate Asynchronous Web-based Learning
98% match

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

VDM Verlag

£56.44 26 Sep 2026
Service Provision Framework for Intelligent Transportation Systems: Trust Based Agent Geographic Coalition Formation for Intelligent Transportation Systems
98% match

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

VDM Verlag

£51.00 23 Sep 2026
The Role of Features and Aspects in Software Development: Similarities, Differences, and Synergetic Potential
98% match

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

VDM Verlag

£53.00 23 Sep 2026