Recherches alternatives:
programs models » programs cmodels, program models, programs model
python programs » python program, action programs, method programs
program python » program path, program paths, program potong
models java » models japan, modern java, models dhaval
https* » http*
1
Table des matières: ... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...
Accéder au texte intégral
Électronique eBook
2
Publié 2013
Table des matières: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
Accéder au texte intégral
Électronique eBook
3
Sujets: ...Computer programming....
Accéder au texte intégral
Électronique eBook