Digital System Verification: A Combined Formal Methods and Simulation Framework - Synthesis Lectures on Digital Circuits & Systems - Lun Li - Książki - Springer International Publishing AG - 9783031798146 - 18 lutego 2010
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Lun Li
Digital System Verification: A Combined Formal Methods and Simulation Framework - Synthesis Lectures on Digital Circuits & Systems

Cena
zł 123,90

Zamówione z odległego magazynu

Przewidywana dostawa 12 - 20 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

This book focuses on an Integrated Design Validation (IDV) system that provides a framework for design validation and takes advantage of current technology in the areas of simulation and formal verification resulting in a practical validation engine with reasonable runtime.

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 18 lutego 2010
ISBN13 9783031798146
Wydawcy Springer International Publishing AG
Strony 79
Wymiary 150 × 220 × 10 mm   ·   197 g
Język Angielski  

Zobacz wszystko od Lun Li ( np. Paperback Book )