Hardware Design
Formaler Entwurf digitaler SchaltungenDas vorliegende Lehrbuch beschäftigt sich in mathematisch präziser Weise mit ei nem ganz und gar praktischen Thema, nämlich dem Entwurf von Hardware. Kapitel 1 enthält eine Diskussion mathematischer Grundbegriffe. In den Kapiteln 2 bis 4 werden die notwendigen theoretischen Grundlagen über Boole'sche ...