1
Wydane 2013
Spis treści: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
Dokumenty pełnotekstowe
Elektroniczne E-book