Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Embedded Software Verification and Debugging

Language EnglishEnglish
Book Hardback
Book Embedded Software Verification and Debugging Markus Winterholer
Libristo code: 01427186
Publishers Springer, Berlin, March 2014
This book provides comprehensive coverage of verification and debugging techniques for embedded soft... Full description
? points 317 b
130.91 €
In stock at our supplier Shipping in 10-13 days

30-day return policy

Customers also purchased

Čertův ocas Jan Morav / Book Paperback
common.buy 4.54 €
Dynamiques développementales dans les interventions sur le travail : entre héritages et perspectives ARNOUD / Book Paperback
common.buy 32.16 €
El revés del tapiz. Gertrudis Pay / Book Hardback
common.buy 34.69 €
LONELY PLANET Bildband Legendäre Wanderungen in den Alpen Florian Sanktjohanser / Book Hardback
common.buy 28.83 €
Někdy dojde ke zvláštním věcem ... Jiří Starý / Book Sheet
common.buy 15.77 €
Diego Garcia Egures Carlos Garcia Egures / Book Paperback
common.buy 11.22 €
Čepiec Katarína Kucbelová / Book Hardback
common.buy 13.04 €
Der Grünspecht Immergrün: Bildergeschichte für Kinder und Erwachsene Walter M Stutz / Book Paperback
common.buy 23.77 €
Coming soon
Mein Haus ist zu eng und zu klein Axel Scheffler / Book Hardback
common.buy 9.70 €
Histoire de Notre Temps, Racontee A Mes Petites Filles Challot-P / Book Paperback
common.buy 19.32 €
Justizministerialblatt fur den Freistaat Bayern Anonymous / Book Paperback
common.buy 23.26 €
Mif i muzyka kak strukturoobrazujushhij komponent kul'tur Elena Rochnyak / Book Paperback
common.buy 43.40 €
Il crollo della mente bicamerale e l'origine della coscienza Julian Jaynes / Book Paperback
common.buy 35.50 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Embedded Software Verification and Debugging
Author Markus Winterholer, Djones Lettnin
Language English
Binding Book - Hardback
Date of issue 2014
Number of pages 400
EAN 9781461422655
ISBN 1461422655
Libristo code 01427186
Publishers Springer, Berlin
Weight 494
Dimensions 155 x 235 x 15

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Electronics: circuits & components
Technology, Engineering, Agriculture > Technology: general issues > Engineering: general
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Masters Theses in the Pure and Applied Sciences Wade H. Shafer / Book Paperback
common.buy 51.69 €
Wonder Tales from Wagner Told for Young People Anna Alice Chapin / Book Paperback
common.buy 31.66 €
New
The Boy and Penguin Little Library Oliver Jeffers / Book Paperback
common.buy 7.68 €
Climbing as a way to promote mental health Magdalena Höller / Book Paperback
common.buy 61.41 €
College Algebra and Trigonometry, Global Edition Margaret Lial / Book Paperback
common.buy 109.16 €
Fun and Grit John Mucai / Book Paperback
common.buy 17.39 €
Life with the Robins and Beyond NEIL PALMER / Book Hardback
common.buy 21.24 €
Praying Mantises: An Augmented Reality Experience Sandra Markle / Book Hardback
common.buy 35.30 €
My Little Patron Flash Card and Game Book Aleesa McCarthy / Book Paperback
common.buy 11.22 €
Account of Corsica, the Journal of a Tour to That Island, and Memoirs of Pascal Paoli. Illustrated With a new and Accurate map of Corsica. The Third E JAMES BOSWELL / Book Hardback
common.buy 38.24 €
We Fought Like Lions: A Polish Jewish Soldier's Odyssey Through the Holocaust: Warsaw Uprising to Nazi POW Gary Lelonek M D / Book Paperback
common.buy 13.04 €
Top
100 LOGI Black & White Japanese Puzzles: Easy to Hard Urszula Marciniak / Book Paperback
common.buy 10.31 €
No Shortcut to Change Kara Ellerby / Book Hardback
common.buy 112.40 €
Coming soon
Napoleon - Soldier of Destiny Michael Broers / Book Hardback
common.buy 28.62 €
Architecture of Oppression Paul B. Jaskot / Book Hardback
common.buy 209.13 €
Thirty Years of Lynching in the United States 1889-1918 National Association for the Advancement of Colored People / Book Hardback
common.buy 43.50 €
"Oxy-Acetylene Welding and Cutting, Electric and Thermit Welding, Together with Related Methods and Materials Used in Metal Working and The Oxygen Pro Harold P. Manly / Book Hardback
common.buy 23.26 €
Usborne Fantastic Colouring and Sticker Book Jessica Greenwell / Book Paperback
common.buy 9.20 €
Natural Bliss Deshmukh / Book Hardback
common.buy 45.12 €
International Relations Theory and the Consequences of Unipolarity G John Ikenberry / Book Paperback
common.buy 46.13 €
Professionalization of Psychology in Nazi Germany Ulfried GeuterRichard Holmes / Book Paperback
common.buy 56.04 €
A Kept Promise Debra Ann Barre / Book Paperback
common.buy 9.91 €
Blank Journal Speedy Publishing LLC / Book Paperback
common.buy 12.84 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account