Výsledky vyhledávání

Automatische Synthese rekursiver Programme als Beweisverfahren

Automatische Synthese rekursiver Programme als Beweisverfahren

Biundo, Susanne
NěmčinaEbook
Springer Berlin Heidelberg
ISBN: 9783642847448
Dostupné online
Dostupné online
1 265 Kč -10 %
Automatische Synthese rekursiver Programme als Beweisverfahren

Automatische Synthese rekursiver Programme als Beweisverfahren

Biundo Susanne
NěmčinaMěkká vazba
Springer, Berlin
ISBN: 9783540553007
Na objednávku
Předpokládané dodání v pátek, 21. srpna 2026
Na objednávku
Předpokládané dodání v pátek, 21. srpna 2026
1 342 Kč -10 %