Embedded Software Verification and Debugging

Name: Embedded Software Verification and Debugging
Brand: Springer-Verlag New York Inc.
SKU: 9781493979318
Price: 19800 KES
Availability: OutOfStock
ISBN: 9781493979318

Softcover reprint of the original 1st ed. 2017

Book Details

Format Paperback / softback

Book Series Embedded Systems

ISBN-10 1493979310

ISBN-13 9781493979318

Edition Softcover reprint of the original 1st ed. 2017

Publisher Springer-Verlag New York Inc.

Imprint Springer-Verlag New York Inc.

Country of Manufacture GB

Country of Publication GB

Publication Date Jul 19th, 2018

Print length 208 Pages

Product Classification: Electronics engineering Circuits & components Electronics: circuits and components Computer architecture & logic design Computer architecture and logic design

KSh 19,800.00

Currently unavailable 0 in stock

Delivery Location

County

Location

Delivery fee: Select location

Secure

Quality

Fast

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.

Get Embedded Software Verification and Debugging by Djones Lettnin at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer-Verlag New York Inc. and it has 208 pages.