Cerca anche:
python problems » python programs
program python » program path, program paths, program potong
problems multi » problem multi
multi java » multi jvm
https* » http*
1
di Shankar, A. Udaya., Shankar, A. Udaya.
Pubblicazione 2013
Sommario: ... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...
Testo
Elettronico eBook
2
Pubblicazione 2013
Sommario: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
Testo
Elettronico eBook