Search Results

Author: Biundo Susanne
Automatische Synthese rekursiver Programme als Beweisverfahren

Automatische Synthese rekursiver Programme als Beweisverfahren

Biundo, Susanne
GermanEbook
Springer Berlin Heidelberg
ISBN: 9783642847448
Available online
Available online
CZK 1,265 -10%
Automatische Synthese rekursiver Programme als Beweisverfahren

Automatische Synthese rekursiver Programme als Beweisverfahren

Biundo Susanne
GermanPaperback / softback
Springer, Berlin
ISBN: 9783540553007
On order
Delivery on Friday, 21. of August 2026
On order
Delivery on Friday, 21. of August 2026
CZK 1,342 -10%