1
Veröffentlicht 2013
Inhaltsangabe: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
Volltext
Elektronisch E-Book