Description: Embedded Software Verification and Debugging Please note: this item is printed on demand and will take extra time before it can be dispatched to you (up to 20 working days). Author(s): Djones Lettnin, Markus Winterholer Format: Hardback Publisher: Springer-Verlag New York Inc., United States Imprint: Springer-Verlag New York Inc. ISBN-13: 9781461422655, 978-1461422655 Synopsis This book provides comprehensive coverage of verification and debugging techniques for embedded software, which is frequently used in safety critical applications ([url] 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.
Price: 84.85 GBP
Location: Aldershot
End Time: 2024-04-12T08:11:11.000Z
Shipping Cost: 37.05 GBP
Product Images
Item Specifics
Return postage will be paid by: Buyer
Returns Accepted: Returns Accepted
After receiving the item, your buyer should cancel the purchase within: 60 days
Return policy details:
Book Title: Embedded Software Verification and Debugging
Item Height: 235mm
Item Width: 155mm
Author: Markus Winterholer, Djones Lettnin
Publication Name: Embedded Software Verification and Debugging
Format: Hardcover
Language: English
Publisher: Springer-Verlag New York Inc.
Subject: Engineering & Technology, Computer Science, Physics
Publication Year: 2017
Type: Textbook
Item Weight: 4616g
Number of Pages: 208 Pages
