Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
programs specification » programs specifications, program specification, programs verification
specification java » specification data, specification a, specification case
python programs » python program, action programs, method programs
program python » program path, program paths, program potong
https » http
programs specification » programs specifications, program specification, programs verification
specification java » specification data, specification a, specification case
python programs » python program, action programs, method programs
program python » program path, program paths, program potong
https » http
1
Sumário:
“... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2014
Sumário:
“... Errors in Python/C Programs with Affine Analysis -- Safely Composable Type-Specific Languages -- Graceful...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2013
Sumário:
“...Invited Papers -- Executing Specifications using Synthesis and Constraint Solving -- Runtime...”Obter o texto integral
Recurso Electrónico
livro electrónico