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