Automatische Synthese rekursiver Programme als Beweisverfahren

Automatische Synthese rekursiver Programme als Beweisverfahren

NěmčinaEbook
Biundo, Susanne
Springer Berlin Heidelberg
EAN: 9783642847448
Dostupné online
1 139 Kč
Běžná cena: 1 265 Kč
Sleva 10 %
ks
EAN 9783642847448
ISBN 3642847447
Typ produktu Ebook
Vydavatel Springer Berlin Heidelberg
Datum vydání 8. března 2013
Jazyk German
Země Germany
Autoři Biundo, Susanne
Série Informatik-Fachberichte