£87.51

Springer Embedded Software Verification and Debugging (Embedded Systems)

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

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 1 year ago.

£88 today · all-time low £86 (Mar 2025) · usually the usual

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

Historical
Generating forecast...
£109.99 £83.52 £89.30 £95.07 £100.85 £106.62 £112.40 01 November 2024 18 February 2025 08 June 2025 26 September 2025 14 January 2026

Price Distribution

Price distribution over 440 days • 5 price levels

Days at Price
Current Price
307 days 81 days 31 days · current 20 days 1 day 0 77 154 230 307 £86 £87 £88 £105 £110 Days at Price

Price Analysis

Most common price: £86 (307 days, 69.8%)

Price range: £86 - £110

Price levels: 5 different prices over 440 days

Description

This book provides comprehensive coverage of verification and debugging techniques for embedded software, which is frequently used in safety critical applications (e.g., automotive), where failures are unacceptable. Since the verification of complex systems needs to encompass the verification of both hardware and embedded software modules, this book focuses on verification and debugging approaches for embedded software with hardware dependencies. Coverage includes the entire flow of design, verification and debugging of embedded software and all key approaches to debugging, dynamic, static, and hybrid verification. This book discusses the current, industrial embedded software verification flow, as well as emerging trends with focus on formal and hybrid verification and debugging approaches.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
19 July 2018
Listed Since
19 July 2018

Barcode

No barcode data available

Similar Products You Might Like

Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)
96% match

Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)

Springer

£60.27 15 Feb 2026
Embedded Software Development with C
96% match

Embedded Software Development with C

Springer

£69.13 14 Feb 2026
Embedded Software Development with C
96% match

Embedded Software Development with C

Springer

£67.78 28 Feb 2026
Debugging Embedded Microprocessor Systems
96% match

Debugging Embedded Microprocessor Systems

Newnes

£50.99 07 Jan 2026
Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components
95% match

Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components

Springer

£75.43 09 Mar 2026
Software Engineering for Embedded Systems: Methods, Practical Techniques, and Applications
95% match

Software Engineering for Embedded Systems: Methods, Practical Techniques, and Applications

Newnes

£69.99 23 Feb 2026
Embedded Software Development for Safety-Critical Systems
95% match

Embedded Software Development for Safety-Critical Systems

CRC Press

£41.39 18 Feb 2026
Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected ... (Lecture Notes in Computer Science, 10712)
95% match

Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected ... (Lecture Notes in Computer Science, 10712)

Springer

£41.15 14 Apr 2026
Post-Silicon Validation and Debug
95% match

Post-Silicon Validation and Debug

Springer

£79.30 19 Dec 2025
Fundamentals of IP and SoC Security: Design, Verification, and Debug
95% match

Fundamentals of IP and SoC Security: Design, Verification, and Debug

Springer

£87.93 05 Apr 2026
Fundamentals of IP and SoC Security: Design, Verification, and Debug
95% match

Fundamentals of IP and SoC Security: Design, Verification, and Debug

Springer

£65.02 03 Mar 2026
Formal System Verification: State-of the-Art and Future Trends
95% match

Formal System Verification: State-of the-Art and Future Trends

Springer

£89.13 11 Jan 2026
Embedded Software Development for Safety-Critical Systems
95% match

Embedded Software Development for Safety-Critical Systems

CRC Press

£44.99 19 Feb 2026
Standardized Functional Verification
95% match

Standardized Functional Verification

Springer

£72.86 15 Apr 2026
Introduction to Embedded Systems: Using Microcontrollers and the MSP430
95% match

Introduction to Embedded Systems: Using Microcontrollers and the MSP430

Springer

£69.99 30 Jan 2026
System-level Test and Validation of Hardware/Software Systems: 17 (Springer Series in Advanced Microelectronics, 17)
95% match

System-level Test and Validation of Hardware/Software Systems: 17 (Springer Series in Advanced Microelectronics, 17)

Springer

£60.74 08 Mar 2026
SystemVerilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications
95% match

SystemVerilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications

Springer

£111.90 25 Feb 2026
Verification Methodology Manual for SystemVerilog
95% match

Verification Methodology Manual for SystemVerilog

Springer

£85.01 02 Mar 2026
Professional Verification: A Guide to Advanced Functional Verification
95% match

Professional Verification: A Guide to Advanced Functional Verification

Springer

£76.02 21 Apr 2026
Comprehensive Functional Verification: The Complete Industry Cycle (Systems on Silicon)
95% match

Comprehensive Functional Verification: The Complete Industry Cycle (Systems on Silicon)

Morgan Kaufmann

£59.77 14 Apr 2026
Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08: 36 (Lecture Notes in Electrical Engineering, 36)
95% match

Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08: 36 (Lecture Notes in Electrical Engineering, 36)

Springer

£107.43 18 Apr 2026
Real-time Embedded Components and Systems (Da Vinci Engineering)
95% match

Real-time Embedded Components and Systems (Da Vinci Engineering)

Cengage Learning

£61.19 08 Mar 2026
Formal System Verification: State-of the-Art and Future Trends
95% match

Formal System Verification: State-of the-Art and Future Trends

Springer

£88.40 06 Mar 2026
Embedded System Applications
95% match

Embedded System Applications

Springer

£149.98 18 Apr 2026