Portal do Governo Brasileiro
BDPA - Bases de Dados da Pesquisa Agropecuária Embrapa
Home Bibliotecas Itens selecionados Créditos Ajuda
 






Ordenar por: RelevânciaAutorTítuloAnoImprime registros no formato resumido      Imprime registros no formato resumido
Registros recuperados : 3
Primeira ... 1 ... Última
1.Imagem marcado/desmarcadoSILVA, F. Q. B. da. Correctness of compilers based on formal semantics. In: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 21., 1994, Caxambu. Anais... Belo Horizonte: UFMG, 1994. p.317-331.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
2.Imagem marcado/desmarcadoSANTOS, S. C. dos; SILVA, F. Q. B. da. Um enfoque multiformalismos para especificação de sistemas de segurança crítica. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 9., 1995, Recife. Anais... Recife: Universidade Federal de Pernambuco, 1995. p. 91-106.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
3.Imagem marcado/desmarcadoLUCERO, G. F.; SILVA, F. Q. B. da. Translating a configuration language to the pi-calculus. In: SIMPÓSIO BRASILEIRO DE LINGUAGENS DE PROGRAMAÇÃO, 1., 1996, Belo Horizonte. Anais. Belo Horizonte: SBC / UFMG, 1996. p.251-264

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
Registros recuperados : 3
Primeira ... 1 ... Última
Nenhum registro encontrado para a expressão de busca informada.
Nenhum registro encontrado para a expressão de busca informada.
  
 

Embrapa
Todos os direitos reservados, conforme Lei n° 9.610
Política de Privacidade
Área Restrita
Embrapa Agricultura Digital
Av. André Tosello, 209 - Barão Geraldo
Caixa Postal 6041- 13083-886 - Campinas, SP
SAC: https://www.embrapa.br/fale-conosco

Valid HTML 4.01 Transitional