Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Embedded Software Verification and Debugging, Djones Lettnin; Markus Winterholer


Варианты приобретения
Цена: 16769.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Djones Lettnin; Markus Winterholer
Название:  Embedded Software Verification and Debugging
ISBN: 9781461422655
Издательство: Springer
Классификация:

ISBN-10: 1461422655
Обложка/Формат: Hardcover
Страницы: 208
Вес: 0.49 кг.
Дата издания: 19.04.2017
Серия: Embedded Systems
Язык: English
Размер: 234 x 156 x 14
Основная тема: Engineering
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: An Overview about Debugging and Verification Techniques for Embedded Software.- Embedded Software Debug in Simulation and Emulation Environments for Interface IP.- The Use of Dynamic Temporal Assertions for Debugging.- Automated Reproduction and Analysis of Bugs in Embedded Software.- Model-Based Debugging of Embedded Software Systems.- A Mechanism for Monitoring Driver-Device Communication.- Model Checking Embedded C Software using k-Induction and Invariants.- Scalable and Optimized Hybrid Verification of Embedded Software.-


Advanced Debugging Methods

Автор: Raimondas Lencevicius
Название: Advanced Debugging Methods
ISBN: 1461346886 ISBN-13(EAN): 9781461346883
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Debugging Systems-on-Chip

Автор: Bart Vermeulen; Kees Goossens
Название: Debugging Systems-on-Chip
ISBN: 3319062417 ISBN-13(EAN): 9783319062419
Издательство: Springer
Рейтинг:
Цена: 18284.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Readers learn step-by-step the key requirements for debugging a modern, silicon SOC implementation, nine factors that complicate this debugging task, and a new debug approach that addresses these requirements and complicating factors.

Formal Equivalence Checking and Design Debugging

Автор: Shi-Yu Huang; Kwang-Ting (Tim) Cheng
Название: Formal Equivalence Checking and Design Debugging
ISBN: 1461376068 ISBN-13(EAN): 9781461376064
Издательство: Springer
Рейтинг:
Цена: 25155.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Formal Equivalence Checking and Design Debugging covers two major topics in design verification: logic equivalence checking and design debugging.

Advanced Debugging Methods

Автор: Raimondas Lencevicius
Название: Advanced Debugging Methods
ISBN: 0792378954 ISBN-13(EAN): 9780792378952
Издательство: Springer
Рейтинг:
Цена: 27245.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Advanced Debugging Methods is also a handy reference of currently existing debugging methodologies as well as a springboard for cutting-edge research to simplify the difficult task of debugging and to facilitate the development of more robust software systems.

Debugging Strategies For .NET Developers

Автор: Darin Dillon
Название: Debugging Strategies For .NET Developers
ISBN: 1590590597 ISBN-13(EAN): 9781590590591
Издательство: Springer
Рейтинг:
Цена: 4191.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: While other debugging books focus on obscure techniques for advanced users, this book is a highly readable exploration that conveys the basic thought process of debugging, as well as the specific techniques and when to apply those techniques.

Comprehensive VB .NET Debugging

Автор: Mark Pearce
Название: Comprehensive VB .NET Debugging
ISBN: 1590590503 ISBN-13(EAN): 9781590590508
Издательство: Springer
Рейтинг:
Цена: 5589.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: For Visual Studio 2003

Formal Equivalence Checking and Design Debugging

Автор: Shi-Yu Huang; Kwang-Ting (Tim) Cheng
Название: Formal Equivalence Checking and Design Debugging
ISBN: 079238184X ISBN-13(EAN): 9780792381846
Издательство: Springer
Рейтинг:
Цена: 23508.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Covers the topics of logic equivalence checking and design debugging in design verification. This book reviews the design problems that require logic equivalence checking and describes the underlying technologies that are used to solve them. It also gives a survey of the literature on design error diagnosis and design error correction.

Automated and Algorithmic Debugging

Автор: Peter A. Fritzson
Название: Automated and Algorithmic Debugging
ISBN: 3540574174 ISBN-13(EAN): 9783540574170
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents the latest research on methods for the automated debugging of software. Emphasis is placed on advances made in knowledge-based program debugging and in other approaches to automated debugging based on static and dynamic program slicing.

Debugging Systems-on-Chip

Автор: Bart Vermeulen; Kees Goossens
Название: Debugging Systems-on-Chip
ISBN: 3319356925 ISBN-13(EAN): 9783319356921
Издательство: Springer
Рейтинг:
Цена: 14365.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Readers learn step-by-step the key requirements for debugging a modern, silicon SOC implementation, nine factors that complicate this debugging task, and a new debug approach that addresses these requirements and complicating factors.

Pro Perl Debugging

Автор: Andy Lester; Richard Foley
Название: Pro Perl Debugging
ISBN: 1590594541 ISBN-13(EAN): 9781590594544
Издательство: Springer
Рейтинг:
Цена: 6555.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Combining the best features of C, UNIX utilities, and regular expressions, Perl has grown as one of the most powerful and popular scripting languages. The valuable Perl is often used for system administration, text processing and Web programming. It is even being used for more exotic areas, like bioinformatics. Perl is supported by all of the most prominent operating systems, including Windows, Unix, OS/2, Amiga, and others.

Pro Perl Debugging steps in to help resolve the dilemma of application testing and debugging--one of the biggest time commitments in a programmers daily routine. What this book will do is rescue you from substandard application testing practices. The book commences with several chapters that overview the debuggers basic features, then covers common debugging scenarios. The concluding portion examines debugger customization, alternative debugging utilities, and debugging best practices.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия