Higher Order Logic and Hardware Verification
Versandkostenfrei!
Versandfertig in 1-2 Wochen
47,99 €
inkl. MwSt.
PAYBACK Punkte
24 °P sammeln!
This describes solutions to the problem of ensuring the functional correctness of hardware. It considers the behaviour mathematically and verifies intended results by use of formal proof.
Andere Kunden interessierten sich für
