Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
programming validating » programming evaluating, programming writing, programming balancing
functions computation » function computation, functions composition, function composition
functions conditional » functions functional, functional conditioning, functions computational
validating process » revalidating process, validation process, evaluating process
process trust » processes trust, press trust, process test
programming validating » programming evaluating, programming writing, programming balancing
functions computation » function computation, functions composition, function composition
functions conditional » functions functional, functional conditioning, functions computational
validating process » revalidating process, validation process, evaluating process
process trust » processes trust, press trust, process test
1
Publicado em 2008
Sumário:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”Obter o texto integral
Recurso Electrónico
livro electrónico
