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

£77.00

Südwestdeutscher Verlag für Hochschulschriften Mechanical Verification of Parameterized Real-Time Systems: A Formal Framework and its Application to a Real-Time Operating System Scheduler

Operating Systems

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

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

It has never been this cheap. We have no record of a lower price.

£77 today · cheaper than every other day in the last 24 months

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 • 1 price levels

Days at Price

Price Analysis

Most common price: £77 (634 days, 100.0%)

Price range: £77 - £77

Price levels: 1 different prices over 634 days

Product Specifications

Brand: Südwestdeutscher Verlag für Hochschulschriften
Format: paperback
ASIN: 3838134605
Category: Books > Subjects > Computing & Internet > Computer Science > Operating Systems
Domain: Amazon UK
Release Date: 14 August 2012
Listed Since: 19 August 2012

Barcode

No barcode data available

Südwestdeutscher Verlag für Hochschulschriften Mechanical Verification of Parameterized Real-Time Systems: A Formal Framework and its Application to a Real-Time Operating System Scheduler

It has never been this cheap. We have no record of a lower price.

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

Software Verification and Validation for Practitioners and Managers, Second Edition

Integrated Management Framework for Dynamic Virtual Organisations: Concepts and their Application in the Data Centre

Runtime adaptation of technical systems: An architectural framework for self-configuration and self-improvement at runtime

Time-Constrained Web Services for Industrial Automation

Program Dependences, Slicing, and Verification: Accurate and Scalable Approaches for Concurrent Object Oriented Programs

Dynamic Reconfiguration Methods for Active Camera Networks: Coordination Algorithms for Distributed Smart Cameras Networks

Die maschinelle Simulierbarkeit des Humanübersetzens: Evaluation von Mensch-Maschine-Interaktion und der Translatqualität der Technik

Separation Logic for Multithreaded Object-Oriented Languages: Full-Fledged Verification and Automatic Parallelization of Programs

Hybrid-Kinematic Mechanisms: Designed for Machine Tools

Reliability and Physics-of-Healthy in Mechatronics: 15 (Mechanical Engineering and Solid Mechanics: Reliability of Multiphysical Systems)

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

Automatisierung der frühen Entwurfsphasen verteilter Systeme: Eine Methode zur frühzeitigen Analyse und Optimierung von Gesamtsystemarchitekturen zur ... Spezifikationsqualität und -geschwindigkeit

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

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

Validation of Data Flow Results for Program Modules

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

Projektbezogene Arbeitsorganisation im Großanlagenbau: Globale und altersgerechte Arbeitsstrukturen Zweitauflage

Accelerated Testing of Reliability of a Mechanical System Elements

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

Advanced Techniques for Maintenance Modeling and Reliability Analysis of Repairable Systems

Smart Algorithms and Architectures for Real Time Video Transmission: Efficient Smart Algorithms and Architectures for Real-time Video Transmission in Pixel and Frequency Domains

Performance simulation of modular product architectures by model-based configuration: 21 (Produktentwicklung und Konstruktionstechnik, 21)

Evaluierung des Planungswerkzeugs Örtliches Raumordnungskonzept: im Bundesland Tirol