Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
programming models » programming model
program python » program path, program paths, program potong
models java » models japan, modern java, models dhaval
https » http
programming models » programming model
program python » program path, program paths, program potong
models java » models japan, modern java, models dhaval
https » http
1
Aurkibidea:
“... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2013
Aurkibidea:
“... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...”Testu osoa
Baliabide elektronikoa
eBook
3



