ISBN 3540553002 books & textbook

Automatische Synthese rekursiver Programme als Beweisverfahren (Informatik-Fachberichte, 302) (German Edition)

Springer /1992-04-08 Perfect Paperback / 267 Pages
isbn-10: 3540553002 / isbn-13: 9783540553007