Knihu momentálně nemáme skladem

Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen

Autoři

Jürgen Giesl

Parametry

Nákup knihy

Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen, Jürgen Giesl

Jazyk
Rok vydání: 1995

Jakmile ji vyčmucháme, pošleme e-mail.

Doručení

Platební metody

Nikdo zatím neohodnotil.Ohodnotit