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

Automatische

von Susanne Biundo

Broschiert

ISBN: 978-3-540-55300-7

ISBN-10: 3-540-55300-2

Springer · 1992
Siehe auch:
1992PaperbackAutomatische Synthese Rekursiver Programme Als Beweisverfahren (INFORMATIK-FACHBERICHTE)