£77.37

Springer The Testability of Distributed Real-Time Systems: 245 (The Springer International Series in Engineering and Computer Science, 245)

Price data last checked 41 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 3 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 50 days · 50 data points (no recent data)

Historical
Generating forecast…
£77.38 £73.51 £75.05 £76.60 £78.15 £79.70 £81.24 23 April 2026 05 May 2026 17 May 2026 29 May 2026 11 June 2026

Price Distribution

Price distribution over 50 days • 1 price levels

Days at Price
50 days 0 13 25 38 50 £77 Days at Price

Price Analysis

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

Price range: £77 - £77

Price levels: 1 different prices over 50 days

Description

BY H. KOPETZ A real-time computer system must provide the intended service in two di mensions: the functional (value) dimension and the temporal dimension. The verification of a real-time system implementation is thus necessarily more com plex than the verification of a non-real-time system which has to be checked in the value dimension only. Since the formal verification techniques of temporal properties have not yet matured to the point where these techniques can be used in practical system development, systematic design and testing are the only alternatives for the development of dependable real-time systems. At present, up to and more than fifty percent of the development eff'ort of complex real-time computer systems is spent on testing. The test activities are thus a significant cost element in any real-time system project. The attack on this cost element has to proceed from two fronts: the design for testability and the development of a systematic test methodology supported by an appropriate tool set. This book covers both of these topics.

Product Specifications

Format
paperback
Domain
Amazon UK
Publication Date
07 March 2013
Listed Since
20 September 2013

Barcode

No barcode data available

Similar Products You Might Like

Formal Techniques in Real-Time and Fault-Tolerant Systems: 221 (The Springer International Series in Engineering and Computer Science, 221)
84% match

Formal Techniques in Real-Time and Fault-Tolerant Systems: 221 (The Springer International Series in Engineering and Computer Science, 221)

Springer

£107.78 05 Jun 2026
Foundations of Real-Time Computing: Formal Specifications and Methods: 142 (The Springer International Series in Engineering and Computer Science, 142)
83% match

Foundations of Real-Time Computing: Formal Specifications and Methods: 142 (The Springer International Series in Engineering and Computer Science, 142)

Springer

£112.89 25 May 2026
Foundations of Real-Time Computing: Formal Specifications and Methods: 142 (The Springer International Series in Engineering and Computer Science, 142)
83% match

Foundations of Real-Time Computing: Formal Specifications and Methods: 142 (The Springer International Series in Engineering and Computer Science, 142)

Springer

£108.83 25 May 2026
Analysis and Synthesis of Distributed Real-Time Embedded Systems
83% match

Analysis and Synthesis of Distributed Real-Time Embedded Systems

Springer

£76.38 26 May 2026
A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems
82% match

A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems

Springer

£107.98 05 Jun 2026
Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogenous Platforms
82% match

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogenous Platforms

Springer

£76.38 19 May 2026
Fault-Tolerant Real-Time Systems: The Problem of Replica Determinism: 345 (The Springer International Series in Engineering and Computer Science, 345)
82% match

Fault-Tolerant Real-Time Systems: The Problem of Replica Determinism: 345 (The Springer International Series in Engineering and Computer Science, 345)

Springer

£113.09 25 May 2026
Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems: 297 (The Springer International Series in Engineering and Computer Science, 297)
82% match

Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems: 297 (The Springer International Series in Engineering and Computer Science, 297)

Springer

£159.37 01 Jun 2026
Multiprocessor Scheduling for Real-Time Systems (Embedded Systems)
82% match

Multiprocessor Scheduling for Real-Time Systems (Embedded Systems)

Springer

£76.38 20 May 2026
Multiprocessor Scheduling for Real-Time Systems (Embedded Systems)
82% match

Multiprocessor Scheduling for Real-Time Systems (Embedded Systems)

Springer

£95.43 19 May 2026
Foundations of Real-Time Computing: Scheduling and Resource Management: 141 (The Springer International Series in Engineering and Computer Science, 141)
81% match

Foundations of Real-Time Computing: Scheduling and Resource Management: 141 (The Springer International Series in Engineering and Computer Science, 141)

Springer

£124.94 06 Jun 2026
Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems (Embedded Systems)
81% match

Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems (Embedded Systems)

Springer

£107.98 21 May 2026
Memory Controllers for Real-Time Embedded Systems: Predictable and Composable Real-Time Systems
81% match

Memory Controllers for Real-Time Embedded Systems: Predictable and Composable Real-Time Systems

Springer

£80.64 31 May 2026
Distributed, Embedded and Real-time Java Systems
81% match

Distributed, Embedded and Real-time Java Systems

Springer

£80.64 03 Jun 2026
Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems
80% match

Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems

Springer

£131.50 12 Jun 2026
Embedded and Real Time System Development: A Software Engineering Perspective: Concepts, Methods and Principles: 520 (Studies in Computational Intelligence, 520)
80% match

Embedded and Real Time System Development: A Software Engineering Perspective: Concepts, Methods and Principles: 520 (Studies in Computational Intelligence, 520)

Springer

£76.38 11 Jun 2026
Temporal Verification of Reactive Systems: Safety
80% match

Temporal Verification of Reactive Systems: Safety

Springer

£84.68 29 May 2026
Testing Commercial-off-the-Shelf Components and Systems
80% match

Testing Commercial-off-the-Shelf Components and Systems

Springer

£86.13 01 Jul 2026
Temporally Distributed Symptoms in Technical Diagnosis: 517 (Lecture Notes in Computer Science, 517)
80% match

Temporally Distributed Symptoms in Technical Diagnosis: 517 (Lecture Notes in Computer Science, 517)

Springer

£44.51 24 May 2026
Multiprocessing: Trade-Offs in Computation and Communication: 236 (The Springer International Series in Engineering and Computer Science, 236)
80% match

Multiprocessing: Trade-Offs in Computation and Communication: 236 (The Springer International Series in Engineering and Computer Science, 236)

Springer

£73.52 24 May 2026
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
79% match

Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems

Springer

£111.76 24 May 2026
Concurrency in Dependable Computing
79% match

Concurrency in Dependable Computing

Springer

£107.93 22 May 2026
Multiprocessing: Trade-Offs in Computation and Communication: 236 (The Springer International Series in Engineering and Computer Science, 236)
79% match

Multiprocessing: Trade-Offs in Computation and Communication: 236 (The Springer International Series in Engineering and Computer Science, 236)

Springer

£81.92 26 May 2026
Fault-Tolerant Parallel and Distributed Systems
79% match

Fault-Tolerant Parallel and Distributed Systems

Springer

£113.09 26 May 2026