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