Het boek is momenteel niet op voorraad
Een boek kopen
Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen, Jürgen Giesl
- Taal
- Jaar van publicatie
- 1995
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
Nog niemand heeft beoordeeld.