Automatische Synthese rekursiver Programme als Beweisverfahren (Informatik-Fachberichte) (German Edition) (Informatik-Fachberichte, 302, Band 302) | DealShopping Deutschland