1
Publicerad 2013
Innehållsförteckning: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
Hämta fulltext
Elektronisk E-bok
2
av Wu, Chaur., Wu, Chaur.
Publicerad 2010
Innehållsförteckning: ... and Interoperability -- Dynamic Objects -- DLR Hosting API -- Applying the DLR -- DLR and Aspect-Oriented Programming...
Hämta fulltext
Elektronisk E-bok