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 Wednesday, 7. of May 2025
On order
Delivery on Wednesday, 7. of May 2025
CZK 1,504 -10%