Das Buch ist derzeit nicht auf Lager
Buchkauf
Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen, Jürgen Giesl
- Sprache
- Erscheinungsdatum
- 1995
Wir benachrichtigen dich per E-Mail.
Lieferung
- Gratis Versand in ganz Deutschland!
Zahlungsmethoden
Keiner hat bisher bewertet.