Ingen varer
Gå til kassen
Bemærk: Kan ikke leveres før jul.
An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory.