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: 62.94 GBP
Availability: InStock

Engineering & Technology

Price History & Forecast

Last 39 days • 39 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 39 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £63 (38 days, 97.4%)

Price range: £63 - £66

Price levels: 2 different prices over 39 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

Price History & Forecast

Price Distribution

Price Analysis

Product Specifications

Barcode

Similar Products You Might Like

Heterogeneous Parallel Embedded Systems

Introspektive modellgetriebene Softwareentwicklung

Real-time Computing Systems: Enhancing the Performance of Distributed Real-time Systems

Taxonomy of IDS: Intrusion Detection using System Call Sequence

Non-functional Specifications of Components and Systems

Real-time Dynamic Simulation of Constrained Multibody Systems: A Symbolic Computational Perspective

Achieving Information Integrity in Databases for Open Systems: An analytical approach

Diagnosis and Maintenance in an Integrated Time-Triggered Architecture: Tackling the Trouble-Not-Identified Phenomenon

Deterministic and Stochastic Signal Processing: Continuous and Discrete Time Signals

Attribute-Level Versioning: A Relational Mechanism for Version Storage and Retrieval

Architecting Automated Design Systems

Information Security Management: Semi-intelligent Risk-analytic Audit

Adaptive-Multilevel BDDC: a scalable and robust version

Nomadic Data Entry: Empirically Derived Performance Models for Data Entry Tasks in Mobile Situations

Virtual Machine Support for Aspect-Oriented Programming Languages

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

Breakdowns in Controls in Automated Systems

Improvisation, Computers and Interaction

Testing and Verifying Web Services

Attribute Enabled Software Development

Norm Enforcement in Normative Multiagent Systems: Design, Implementation and Development

Computational Rhythm Description: A Review and Novel Approach

The information systems integration plan: for satellite remote sensing subsystems

Data Quality Management in Wireless Sensor Networks: A Consistency Model Based Approach