Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 161.90
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 161.90
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New.
Language: English
Published by Springer-Verlag New York Inc., 2018
ISBN 10: 1493979310 ISBN 13: 9781493979318
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
US$ 177.55
Quantity: 15 available
Add to basketPaperback / softback. Condition: New. New copy - Usually dispatched within 7-11 working days.
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: Neu. Embedded Software Verification and Debugging | Djones Lettnin (u. a.) | Taschenbuch | Embedded Systems | xvi | Englisch | 2018 | Springer | EAN 9781493979318 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. pp. 400.
Language: English
Published by Springer New York, Springer New York, 2018
ISBN 10: 1493979310 ISBN 13: 9781493979318
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Language: English
Published by Springer New York, Springer New York, 2017
ISBN 10: 1461422655 ISBN 13: 9781461422655
Seller: AHA-BUCH GmbH, Einbeck, Germany
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Seller: Revaluation Books, Exeter, United Kingdom
US$ 225.05
Quantity: 2 available
Add to basketHardcover. Condition: Brand New. 400 pages. 9.25x6.25x0.75 inches. In Stock.
Seller: Mispah books, Redhill, SURRE, United Kingdom
US$ 248.32
Quantity: 1 available
Add to basketPaperback. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Seller: Brook Bookstore On Demand, Napoli, NA, Italy
Condition: new. Questo è un articolo print on demand.
Seller: Brook Bookstore On Demand, Napoli, NA, Italy
Condition: new. Questo è un articolo print on demand.
Language: English
Published by Springer New York, Springer US Jul 2018, 2018
ISBN 10: 1493979310 ISBN 13: 9781493979318
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 224 pp. Englisch.
Seller: moluna, Greven, Germany
US$ 125.98
Quantity: Over 20 available
Add to basketCondition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Includes in a single source the entire flow of design, verification and debugging of embedded softwareAddresses the main techniques that are currently being used in the industry for assuring the quality of embedded software.
Language: English
Published by Springer New York Apr 2017, 2017
ISBN 10: 1461422655 ISBN 13: 9781461422655
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 224 pp. Englisch.
Seller: moluna, Greven, Germany
US$ 136.05
Quantity: Over 20 available
Add to basketCondition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Includes in a single source the entire flow of design, verification and debugging of embedded softwareAddresses the main techniques that are currently being used in the industry for assuring the quality of embedded software.
Seller: Majestic Books, Hounslow, United Kingdom
US$ 192.31
Quantity: 4 available
Add to basketCondition: New. Print on Demand.
Language: English
Published by Springer-Verlag New York Inc., 2017
ISBN 10: 1461422655 ISBN 13: 9781461422655
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
US$ 191.90
Quantity: Over 20 available
Add to basketHardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. PRINT ON DEMAND.
Seller: preigu, Osnabrück, Germany
Buch. Condition: Neu. Embedded Software Verification and Debugging | Djones Lettnin (u. a.) | Buch | Embedded Systems | xvi | Englisch | 2017 | Springer | EAN 9781461422655 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
Language: English
Published by Springer, Springer Jul 2018, 2018
ISBN 10: 1493979310 ISBN 13: 9781493979318
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 224 pp. Englisch.
Seller: Majestic Books, Hounslow, United Kingdom
US$ 217.61
Quantity: 4 available
Add to basketCondition: New. Print on Demand pp. 400.
Language: English
Published by Springer, Springer Apr 2017, 2017
ISBN 10: 1461422655 ISBN 13: 9781461422655
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Buch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 224 pp. Englisch.
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. PRINT ON DEMAND pp. 400.