Método B e a síntese verificada para código de montagem

Assembly code synthesis is a process that requires rigorous care. Typically, this process in mature translators and compilers is relatively safe, though some errors have occasionally been identified. In a more restricted context, the translators used in the smaller communities and developed const...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Autor principal: Medeiros Júnior, Valério Gutemberg de
Outros Autores: Deharbe, David Boris Paul
Formato: doctoralThesis
Idioma:por
Publicado em: Brasil
Assuntos:
Métodos formais
Método B
Tradução de modelos
Verificação de tradução
Linguagem de montagem
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
Endereço do item:https://repositorio.ufrn.br/jspui/handle/123456789/21420
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

Internet

https://repositorio.ufrn.br/jspui/handle/123456789/21420

Registros relacionados