Ingen varer
Kassen / rediger kurv
This book provides a step-by-step interactive introduction to formal verification of systems and circuits. In view of the complexity... Læs mere