£77.37

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

Price data checked 5 days ago

View at Amazon

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

About as cheap as it gets. The only time it was cheaper was 3 months ago.

£77 today · all-time low £77 (Mar 2026) · usually £77

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

Historical
Generating forecast...
£77.38 £77.34 £77.35 £77.36 £77.36 £77.37 £77.38 01 March 2026 22 March 2026 12 April 2026 03 May 2026 25 May 2026

Price Distribution

Price distribution over 86 days • 1 price levels

Days at Price
86 days 0 22 43 65 86 £77 Days at Price

Price Analysis

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

Price range: £77 - £77

Price levels: 1 different prices over 86 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

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
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 25 May 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
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 25 May 2026
Distributed, Embedded and Real-time Java Systems
81% match

Distributed, Embedded and Real-time Java Systems

Springer

£80.64 25 May 2026
Temporal Verification of Reactive Systems: Safety
80% match

Temporal Verification of Reactive Systems: Safety

Springer

£84.68 29 May 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
Hardware-Software Co-Synthesis of Distributed Embedded Systems
79% match

Hardware-Software Co-Synthesis of Distributed Embedded Systems

Springer

£85.72 29 May 2026
Software Performability: From Concepts to Applications: 347 (The Springer International Series in Engineering and Computer Science, 347)
79% match

Software Performability: From Concepts to Applications: 347 (The Springer International Series in Engineering and Computer Science, 347)

Springer

£107.71 26 May 2026
Real-Time Object Uniform Design Methodology with UML
79% match

Real-Time Object Uniform Design Methodology with UML

Springer

£108.92 18 May 2026
Do-All Computing in Distributed Systems: Cooperation in the Presence of Adversity
79% match

Do-All Computing in Distributed Systems: Cooperation in the Presence of Adversity

Springer

£76.38 18 May 2026
Hardware-Software Co-Synthesis of Distributed Embedded Systems
79% match

Hardware-Software Co-Synthesis of Distributed Embedded Systems

Springer

£73.75 20 May 2026
Simulation Methods for Reliability and Availability of Complex Systems (Springer Series in Reliability Engineering)
79% match

Simulation Methods for Reliability and Availability of Complex Systems (Springer Series in Reliability Engineering)

Springer

£107.98 24 May 2026