Rechnerarchitektur und Logik-EntwurfDirk Siefkes × Formalisieren und BeweisenLogik für InformatikerDirk SiefkesVieweg & TeubnereBook2013 Formalisieren und BeweisenLogik für InformatikerDirk SiefkesVieweg & TeubnereBook2013