1
Wydane 2006
Spis treści: ...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...
Dokumenty pełnotekstowe
Elektroniczne E-book