Free delivery for orders over 69.99€

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 €

Speedy courier 3.99 € Speedy point 3.99 € Еконт courier 4.49 € Еконтомат/Офис на Еконт 4.49 € Ekont Box 4.49 € Sameday courier 4.49 € Sameday Box 4.49 € Box Now 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

Embedded Software Verification and Debugging

Name: Embedded Software Verification and Debugging
Brand: Springer, Berlin
SKU: 01427186
Price: 137.15 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

334 b

137.15 €

268.25 лв

In stock at our supplier Shipping in 10-13 days

Up to 30 days for returns

Customers also purchased

Strafvollstreckungsordnung Hans-Peter Jabel

Hardback

186.24 € 364.26 лв

Wilhelm Tell Friedrich von Schiller

Paperback

3.79 € 7.42 лв

El revés del tapiz. Gertrudis Pay

Hardback

36.09 € 70.59 лв

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

Sheet

16.63 € 32.53 лв

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

Hardback

34.50 € 67.48 лв

Myśli Idee Teorie Alternatywy edukacyjne Opracowanie zbiorowe

Paperback

16.89 € 33.03 лв

Čertův ocas Jan Morav

Paperback

4.77 € 9.33 лв

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

Paperback

32.19 € 62.96 лв

Diego Garcia Egures Carlos Garcia Egures

Paperback

11.39 € 22.29 лв

Peugeot 207 - [depuis] 04-2006 ETAI Book

binding.

51.55 € 100.82 лв

Čepiec Katarína Kucbelová

Hardback

13.60 € 26.60 лв

Osobennosti formirovaniya konstitucionnoj mysli v Vengrii Daniil Sten'kin

Paperback

22.59 € 44.18 лв

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

Paperback

18.07 € 35.34 лв

Vend din Verden: Fra Trolde til Tro Henriette Eiby Christensen

Paperback

16.22 € 31.73 лв

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

Paperback

24.23 € 47.39 лв

Mein Haus ist zu eng und zu klein Axel Scheffler

Hardback

10.16 € 19.88 лв

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

Paperback

14.06 € 27.51 лв

CANTA O CUCO.(SONARBORE) UXIA E MAGIN

Paperback

26.18 € 51.21 лв

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

Paperback

25.57 € 50.01 лв

Justizministerialblatt fur den Freistaat Bayern Anonymous

Paperback

24.44 € 47.80 лв

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

Paperback

16.84 € 32.93 лв

Mif i muzyka kak strukturoobrazujushhij komponent kul'tur Elena Rochnyak

Paperback

45.59 € 89.17 лв

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

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

You might also be interested in

Masters Theses in the Pure and Applied Sciences Wade H. Shafer

Paperback

54.02 € 105.65 лв

My Little Patron Flash Card and Game Book Aleesa McCarthy

Paperback

11.39 € 22.29 лв

Pachinko Min Jin Lee

Paperback

20.95 € 40.97 лв

Comedies of William Shakespeare William Shakespeare

Paperback

29.11 € 56.94 лв

The Law Relating to Charities: Especially with Reference to the Validity and Construction of Charitable Bequests and Conveyances. Ferdinand M Whiteford

Paperback

20.48 € 40.06 лв

100 LOGI Black & White Japanese Puzzles: Easy to Hard Urszula Marciniak

Paperback

10.52 € 20.58 лв

We Fought Like Lions: A Polish Jewish Soldier's Odyssey Through the Holocaust: Warsaw Uprising to Nazi POW Gary Lelonek M D

Paperback

13.24 € 25.90 лв

3xE Discipleship-Discipler Version: Exaltation, Edification, Evangelism Paul J Bucknell

Paperback

6.88 € 13.45 лв

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

Hardback

38.97 € 76.22 лв