Automatische Synthese rekursiver Programme als Beweisverfahren (Informatik-Fachberichte) (German Edition) (Informatik-Fachberichte, 302, Band 302)
Gesponsert
Medimops DE
54.99 EUR
Preis aktualisiert am: 09-06-2026 22:33:06
Gesponsert
SpringerLink DE
54.99 EUR
Preis aktualisiert am: 10-06-2026 10:54:46
Allgemein
Marke
Springer
