Free delivery for orders over 69.99 euro

Check order status

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

Free delivery for purchases over 69.99 €

DPD courier 4.49 € DPD point 3.99 € GLS courier 5.49 € GLS point 4.49 € Croatian Post 5.49 € Overseas courier 5.49 € Box Now 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro

Embedded Software Verification and Debugging

Name: Embedded Software Verification and Debugging
Brand: Springer, Berlin
SKU: 01427186
Price: 122.89 EUR
Availability: InStock
Author: Markus Winterholer
ISBN: 9781461422655

Markus Winterholer

Djones Lettnin

Language

English

Book Hardback

Libristo code: 01427186

Publishers Springer, Berlin, March 2014

This book provides comprehensive coverage of verification and debugging techniques for embedded soft... Full description

Libristo code: 01427186

299 b

122.89 €

In stock at our supplier Shipping in 10-13 days

Up to 30 days for returns

Customers also purchased

Strafvollstreckungsordnung Hans-Peter Jabel

Hardback

176.56 €

Wilhelm Tell Friedrich von Schiller

Paperback

3.81 €

El revés del tapiz. Gertrudis Pay

Hardback

32.35 €

Někdy dojde ke zvláštním věcem ... Jiří Starý

Sheet

14.86 €

LONELY PLANET Bildband Legendäre Wanderungen in den Alpen Florian Sanktjohanser

Hardback

28.53 €

Myśli Idee Teorie Alternatywy edukacyjne Opracowanie zbiorowe

Paperback

14.86 €

Čertův ocas Jan Morav

Paperback

4.81 €

Dynamiques développementales dans les interventions sur le travail : entre héritages et perspectives ARNOUD

Paperback

29.43 €

Diego Garcia Egures Carlos Garcia Egures

Paperback

11.45 €

Peugeot 207 - [depuis] 04-2006 ETAI Book

binding.

47.22 €

Čepiec Katarína Kucbelová

Hardback

12.25 €

Osobennosti formirovaniya konstitucionnoj mysli v Vengrii Daniil Sten'kin

Paperback

20.09 €

Histoire de Notre Temps, Racontee A Mes Petites Filles Challot-P

Paperback

17.07 €

Vend din Verden: Fra Trolde til Tro Henriette Eiby Christensen

Paperback

16.17 €

Der Grünspecht Immergrün: Bildergeschichte für Kinder und Erwachsene Walter M Stutz

Paperback

24.21 €

Mein Haus ist zu eng und zu klein Axel Scheffler

Hardback

9.64 €

La técnica Clark para el tratamiento del cáncer Ayax Perrella

Paperback

12.85 €

CANTA O CUCO.(SONARBORE) UXIA E MAGIN

Paperback

23.91 €

Il crollo della mente bicamerale e l'origine della coscienza Julian Jaynes

Paperback

23.10 €

Justizministerialblatt fur den Freistaat Bayern Anonymous

Paperback

23.10 €

Les Infections Consecutives Aux Fractures Compliquees Experimentales: Histologie Et Bacteriologie Roncali-D

Paperback

15.97 €

Mif i muzyka kak strukturoobrazujushhij komponent kul'tur Elena Rochnyak

Paperback

40.59 €

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.