Automatische Synthese rekursiver Programme als Beweisverfahren Informatik-Fachberichte, nr. 302 Autor Susanne Biundo 8 apr 1992 Paperback Preț: 402.41 lei 503.01 lei 43-57 zile -20%