Knihu momentálně nemáme skladem
Parametry
Nákup knihy
Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen, Jürgen Giesl
- Jazyk
- Rok vydání
- 1995
Jakmile ji vyčmucháme, pošleme vám e-mail.
Doručení
Platební metody
Navrhnout úpravu
- Titul
- Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen
- Jazyk
- německy
- Autoři
- Jürgen Giesl
- Vydavatel
- Infix
- Rok vydání
- 1995
- ISBN10
- 3896010964
- ISBN13
- 9783896010964
- Kategorie
- Počítače, IT, programování