1
Tekijä Shankar, A. Udaya., Shankar, A. Udaya.
Julkaistu 2013
Sisällysluettelo: ... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2013
Sisällysluettelo: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
Hae kokoteksti
Elektroninen E-kirja
3
Tekijä Jordan, Gregory., Jordan, Gregory.
Julkaistu 2014
Aiheet: ...Computer programming....
Hae kokoteksti
Elektroninen E-kirja