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 : 6
Primeira ... 1 ... Última
1.Imagem marcado/desmarcadoBJORNER, D. Realization of database management systems. In: BJORNER, D.; JONES, C. B. Formal specification and software development. Englewood Cliffs: Prentice-Hall International, 1982. p. 443-456.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
2.Imagem marcado/desmarcadoBJORNER, D. Rigorous development of interpreters & compilers. In: BJORNER, D.; JONES, C. B. Formal specification and software development. Englewood Cliffs: Prentice-Hall International, 1982. p.271-320.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
3.Imagem marcado/desmarcadoBJORNER, D. Stepwise transformation of software architectures. In: BJORNER, D.; JONES, C. B. Formal specification and software development. Englewood Cliffs: Prentice-Hall International, 1982. p.353-377.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
4.Imagem marcado/desmarcadoBJORNER, D.; LOVENGREEN, H. H. Formalization of data models. In: BJORNER, D.; JONES, C. B. Formal specification and software development. Englewood Cliffs: Prentice-Hall International, 1982. p.379-442.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
5.Imagem marcado/desmarcadoBJORNER, D.; JONES, C. B. Formal specification and software development. Englewood Cliffs: Prentice: Hall, 1982. 501 p. (Prentice-Hall International Series in Computer Science).

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
6.Imagem marcado/desmarcadoBJØRNER, D.; HENSON, M. C. Logics of Specification Languages. Springer eBooks. v.: digital Monographs in Theoretical Computer Science, An EATCS Series,

Biblioteca(s): Ebooks.

Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
Registros recuperados : 6
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