Mégsem tetszik a termék? Semmi gond! Nálunk 30 napon belül visszaküldheti
Ajándékutalvánnyal nem hibázhat. A megajándékozott az ajándékutalványért bármit választhat kínálatunkból.
30 nap a termék visszaküldésére
This book summarizes recent research on abstraction techniques for model checking large digital system. Considering the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs. The suite of algorithms presented here represents significant improvement over prior art; some have already been adopted by the EDA companies in their commercial/in-house verification tools.§
Szia! Libroamiko vagyok, a könyvtanácsadód.
Miben segíthetek?