![](/img/cover-not-exists.png)
Formale Sprachen || Induktionsbeweise der Korrektheit
Böckenhauer, Hans-Joachim, Hromkovic, JurajVolume:
10.1007/97
Year:
2013
Language:
german
DOI:
10.1007/978-3-658-00725-6_5
File:
PDF, 242 KB
german, 2013