Verification of Temporal Properties in Embedded Software: based on Assertion and Semiformal Verification Approaches - Image 1

£70.00

Südwestdeutscher Verlag für Hochschulschriften Verification of Temporal Properties in Embedded Software: based on Assertion and Semiformal Verification Approaches

Computing & Internet

Price data last checked 98 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.

£70 today · previous high £70 · all-time low £67

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

Historical

Generating forecast...

Price Distribution

Price distribution over 633 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £67 (321 days, 50.7%)

Price range: £67 - £70

Price levels: 2 different prices over 633 days

Product Specifications

Brand: Südwestdeutscher Verlag für Hochschulschriften
Format: paperback
ASIN: 3838112075
Category: Books > Subjects > Computing & Internet
Domain: Amazon UK
Release Date: 14 April 2010
Listed Since: 02 December 2009

Barcode

No barcode data available

Südwestdeutscher Verlag für Hochschulschriften Verification of Temporal Properties in Embedded Software: based on Assertion and Semiformal Verification Approaches

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

A Formal Framework for Run-Time Verification of Web Applications: An Approach Supported by Scope Extended Linear Temporal Logic

Mechanical Verification of Parameterized Real-Time Systems: A Formal Framework and its Application to a Real-Time Operating System Scheduler

Software Verification and Validation for Practitioners and Managers, Second Edition

Specifications and Verifications of Transactions in Mobile Environment: Temporal Logics Specifications and Verifications

Transient Faults in Quasi Delay-Insensitive Logic: Effects and Mitigation

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

Verification and Synthesis of Digital Circuits: High-level Synthesis and Equivalence Checking

Workload Dependent Mitigation Approaches for Performance Variability: Ensuring Timing Guarantees of Integrated Circuits

Time-Constrained Web Services for Industrial Automation

Cost-Effective Verification of Concurrent Safety-Critical Systems: The Compliance Notation Approach

Supporting Reengineering Software Variants into Software Product Lines: Recovering Traceability Links between Software Artifacts

Very-Large-Scale Integration Physical Design: Engineering Change Order and Timing Design Rule Check

Enabling Formal Model-Driven Development with QVT: Concepts, Methods and Tools

Model-checking infinite state systems for information flow security

Testware Support: Addressing Test Elements and Supporting a Benchmarking Framework in Aspect- Oriented Software Assessment

Toward Critical Multimodality: Theory, Research, and Practice in Transformative Educational Spaces (Contemporary Perspectives on Semiotics in Education: Signs, Meanings and Multimodality)

Model-Based Fault Diagnosis and Fault-Tolerant Control: An Approach for Automotive Electric Machines (Wissenschaftliche Reihe Fahrzeugtechnik Universität Stuttgart)

Validation of Data Flow Results for Program Modules

Business Documents for Inter-Organizational Business Processes: Bridging the interoperability-gap between enterprises using current state-of-the-art in business document modeling

Using Weighted Constraints To Build Tutoring Systems: A Study Case in Logic Programming

Observations on Reusability, Frameworks and Testing: Process and Metric Models

Security Compliance in Model-driven Development of Software Systems in Presence of Long-Term Evolution and Variants

Materials for Electronics Security and Assurance

Die Wirksamkeit hochschuldidaktischer Weiterbildung: Evaluation der Veränderung von Lehrkonzeptionen