Pensum -10%Logic Synthesis and Verification AlgorithmsFabio Somenzi, Gary D. HachtelPocketEngelskLegg i handlekurvUtsolgt