Bookbot

Types with potential: polynomial resource bounds via automatic amortized analysis

Acquisto del libro

Types with potential: polynomial resource bounds via automatic amortized analysis, Ján Hoffmann

Lingua
Pubblicato
2011
Ti avviseremo via email non appena lo rintracceremo.

Metodi di pagamento