Pro Perl Debugging, Andy Lester; Richard Foley

Автор: 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.

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

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

Автор: 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.

Автор: Djones Lettnin; Markus Winterholer
Название: Embedded Software Verification and Debugging
ISBN: 1461422655 ISBN-13(EAN): 9781461422655
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.-

Автор: 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.

Автор: 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.

Автор: 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.

Автор: 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.

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

Автор: Frank Rogin; Rolf Drechsler
Название: Debugging at the Electronic System Level
ISBN: 9400795076 ISBN-13(EAN): 9789400795075
Издательство: Springer
Рейтинг:
Цена: 15672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Debugging is the bottleneck to chip design productivity. This state-of-the-art book reviews modeling and verification of ESL designs. It is believed to be the first book that considers debugging for ESL designs. There is particular focus on SystemC.

Автор: 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.