1
Publicado 2013
Tabla de Contenidos: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
Enlace del recurso
Electrónico eBook