Sugestões de Tópicos dentro de sua busca.
Sugestões de Tópicos dentro de sua busca.
Buscas alternativas:
programming validation » programming validating, programming evaluation, programming animation
functions computation » function computation, functions composition, function composition
functions conditional » functions functional, functional conditioning, functions computational
validation process » oxidation process
process trust » processes trust, press trust, process test
programming validation » programming validating, programming evaluation, programming animation
functions computation » function computation, functions composition, function composition
functions conditional » functions functional, functional conditioning, functions computational
validation process » oxidation 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 Eletrônico
livro eletrônico
