Computerprogrammierung und SoftwareentwicklungDirk Siefkes × Formalisieren und BeweisenLogik für InformatikerDirk SiefkesVieweg & TeubnereBook2013 Formalisieren und BeweisenLogik für InformatikerDirk SiefkesVieweg & TeubnerSoftcover199054,99 €