Täglich neue Angebote
Automatische Synthese rekursiver Programme als Beweisverfahren

Springer Nature

Automatische Synthese rekursiver Programme als Beweisverfahren

51,39 €
EAN / GTIN 9783540553007

Details

There is currently no description available

Dazu passt