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
Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €
phone Contact phoneHow to shop

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 282 b
115.09 € VAT included
In stock at our supplier Shipping in 10-13 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Čepiec Katarína Kucbelová / Book Hardback
common.buy 11.49 €
Čertův ocas Jan Morav / Book Paperback
common.buy 3.99 €
Dynamiques développementales dans les interventions sur le travail : entre héritages et perspectives ARNOUD / Book Paperback
common.buy 26.09 €
Strafvollstreckungsordnung Hans-Peter Jabel / Book Hardback
common.buy 189.00 €
LONELY PLANET Bildband Legendäre Wanderungen in den Alpen Florian Sanktjohanser / Book Hardback
common.buy 32.95 €
Někdy dojde ke zvláštním věcem ... Jiří Starý / Book Sheet
common.buy 14.19 €
El revés del tapiz. Gertrudis Pay / Book Hardback
common.buy 28.49 €
Diego Garcia Egures Carlos Garcia Egures / Book Paperback
common.buy 9.39 €
Der Grünspecht Immergrün: Bildergeschichte für Kinder und Erwachsene Walter M Stutz / Book Paperback
common.buy 19.89 €
Osobennosti formirovaniya konstitucionnoj mysli v Vengrii Daniil Sten'kin / Book Paperback
common.buy 18.79 €
Mein Haus ist zu eng und zu klein Axel Scheffler / Book Hardback
common.buy 11.00 €
Justizministerialblatt fur den Freistaat Bayern Anonymous / Book Paperback
common.buy 25.90 €
Histoire de Notre Temps, Racontee A Mes Petites Filles Challot-P / Book Paperback
common.buy 14.99 €
Mif i muzyka kak strukturoobrazujushhij komponent kul'tur Elena Rochnyak / Book Paperback
common.buy 37.89 €
Il crollo della mente bicamerale e l'origine della coscienza Julian Jaynes / Book Paperback
common.buy 19.39 €
La técnica Clark para el tratamiento del cáncer Ayax Perrella / Book Paperback
common.buy 10.99 €

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 45.49 €
Life and Diary of David Brainerd David Brainerd / Book Hardback
common.buy 20.09 €
No Shortcut to Change Kara Ellerby / Book Hardback
common.buy 97.59 €
Pachinko Min Jin Lee / Book Paperback
common.buy 17.19 €
The Law Relating to Charities: Especially with Reference to the Validity and Construction of Charitable Bequests and Conveyances. Ferdinand M Whiteford / Book Paperback
common.buy 20.79 €
100 LOGI Black & White Japanese Puzzles: Easy to Hard Urszula Marciniak / Book Paperback
common.buy 8.69 €
Wonder Tales from Wagner Told for Young People Anna Alice Chapin / Book Paperback
common.buy 26.69 €
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.59 €
3xE Discipleship-Discipler Version: Exaltation, Edification, Evangelism Paul J Bucknell / Book Paperback
common.buy 5.59 €
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 32.29 €
Coming soon
100 Great GAA Moments John Scally / Book Paperback
common.buy 13.69 €
Comedies of William Shakespeare William Shakespeare / Book Paperback
common.buy 24.09 €
My Little Patron Flash Card and Game Book Aleesa McCarthy / Book Paperback
common.buy 11.59 €
Praying Mantises: An Augmented Reality Experience Sandra Markle / Book Hardback
common.buy 32.29 €
Life with the Robins and Beyond NEIL PALMER / Book Hardback
common.buy 18.19 €
Fun and Grit John Mucai / Book Paperback
common.buy 14.49 €
Climbing as a way to promote mental health Magdalena Höller / Book Paperback
common.buy 53.59 €
The Boy and Penguin Little Library Oliver Jeffers / Book Paperback
common.buy 6.59 €
Coming soon
Courthouses of Central Texas Brantley Hightower / Book Hardback
common.buy 52.39 €
Design Objects and the Museum Liz Farrelly / Book Paperback
common.buy 36.89 €
International Relations Theory and the Consequences of Unipolarity G John Ikenberry / Book Paperback
common.buy 39.29 €
American Natural Resources Carrie D Slovich / Book Hardback
common.buy 146.69 €
Architecture of Oppression Paul B. Jaskot / Book Hardback
common.buy 209.49 €
Blank Journal Speedy Publishing LLC / Book Paperback
common.buy 10.29 €

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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?