We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
Price loading...
Springer Embedded Software Verification and Debugging (Embedded Systems)
Price data last checked 101 day(s) ago - refreshing...
Price History & Forecast
No Price Data Available
Price history will appear here once data is collected from Amazon.
Price Distribution
No price data available for histogram
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
- Brand
- Springer
- Format
- paperback
- ASIN
- 1493979310
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 19 July 2018
- Listed Since
- 19 July 2018
Barcode
No barcode data available
Similar Products You Might Like
94% match
Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)
Springer
£60.27
15 Feb 2026
94% match
Formal System Verification: State-of the-Art and Future Trends
Springer
£89.13
11 Jan 2026
93% match
Fundamentals of IP and SoC Security: Design, Verification, and Debug
Springer
£65.02
03 Mar 2026
93% match
SystemVerilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications
Springer
£111.90
25 Feb 2026
93% match
Embedded Software Timing: Methodology, Analysis and Practical Tips with a Focus on Automotive
Springer
£43.55
23 Feb 2026
92% match
Embedded Security in Cars: Securing Current and Future Automotive IT Applications
Springer
£77.35
28 Feb 2026
92% match
Post-Silicon Validation and Debug
Springer
£103.88
17 Feb 2026
92% match
Post-Silicon Validation and Debug
Springer
£79.30
19 Dec 2025
92% match
Automotive Systems and Software Engineering: State of the Art and Future Trends
Springer
£90.72
09 Mar 2026
92% match
Automotive Systems and Software Engineering: State of the Art and Future Trends
Springer
£83.49
15 Feb 2026
92% match
Standardized Functional Verification
Springer
£72.86
15 Apr 2026
92% match
Embedded Software for SoC
Springer
£163.67
09 Mar 2026
92% match
ASIC/SoC Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies
Springer
£90.32
08 Mar 2026
92% match
ASIC/SoC Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies
Springer
£115.91
25 Jan 2026
92% match
Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components
Springer
£75.43
09 Mar 2026
92% match
Security in Embedded Devices (Embedded Systems)
Springer
£80.09
27 Feb 2026
92% match
Writing Testbenches using SystemVerilog
Springer
£155.97
20 Jan 2026
92% match
Embedded Software Development with C
Springer
£69.13
14 Feb 2026
92% match
Advanced Formal Verification
Springer
£73.25
20 Feb 2026
92% match
Springer Embedded System Applications - Technical Book
Springer
£165.96
18 Apr 2026
92% match
Systems and Software Verification: Model-Checking Techniques and Tools
Springer
£118.59
10 Jan 2026
92% match
System-on-Chip Security: Validation and Verification
Springer
£57.91
01 Mar 2026
92% match
Machine Learning for Embedded System Security
£73.85
11 Jan 2026
92% match
Embedded Systems Design for High-Speed Data Acquisition and Control
Springer
£87.62
09 Mar 2026