| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Embrapa Unidades Centrais. |
|
Data corrente: |
03/09/1998 |
|
Data da última atualização: |
12/12/2007 |
|
Autoria: |
ARAUJO, A. R. de. |
|
Título: |
Um estudo sobre técnicas de transformação de programas. |
|
Ano de publicação: |
1978 |
|
Fonte/Imprenta: |
1978. |
|
Páginas: |
113 p. |
|
Idioma: |
Português |
|
Notas: |
Tese (Mestrado) - PUC, Rio de Janeiro-RJ |
|
Conteúdo: |
Este trabalho e um estudo sobre a utilizacao de definicoes semanticas de estruturas de linguagem de programacao, objetivando sua aplicacao para a prova da validade de tecnicas de transformacao de programas. Sao utilizados combinadores logicos para definir a semantica das estruturas. Apresenta-se uma relacao de equivalencia entre estruturas, com exemplos de estruturas equivalentes. Demonstram-se o comportamento das estruturas e as equivalencias apresentadas. |
|
Palavras-Chave: |
Computação; Computation; Computer; Programação; Programming. |
|
Thesagro: |
Computador. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 00983nam a2200205 a 4500
001 1099985
005 2007-12-12
008 1978 bl uuuu m 00u1 u #d
100 1 $aARAUJO, A. R. de
245 $aUm estudo sobre técnicas de transformação de programas.
260 $a1978.$c1978
300 $a113 p.
500 $aTese (Mestrado) - PUC, Rio de Janeiro-RJ
520 $aEste trabalho e um estudo sobre a utilizacao de definicoes semanticas de estruturas de linguagem de programacao, objetivando sua aplicacao para a prova da validade de tecnicas de transformacao de programas. Sao utilizados combinadores logicos para definir a semantica das estruturas. Apresenta-se uma relacao de equivalencia entre estruturas, com exemplos de estruturas equivalentes. Demonstram-se o comportamento das estruturas e as equivalencias apresentadas.
650 $aComputador
653 $aComputação
653 $aComputation
653 $aComputer
653 $aProgramação
653 $aProgramming
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Unidades Centrais (AI-SEDE) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
|
Registro Completo
|
Biblioteca(s): |
Embrapa Mandioca e Fruticultura. |
|
Data corrente: |
24/02/2011 |
|
Data da última atualização: |
25/02/2011 |
|
Tipo da produção científica: |
Comunicado Técnico/Recomendações Técnicas |
|
Autoria: |
BORGES, A. L.; SOUZA, L. da S. |
|
Afiliação: |
ANA LUCIA BORGES, CNPMF; Luciano da Silva Souza, UFRB. |
|
Título: |
Recomendações de calagem e adubação para bananeira. |
|
Ano de publicação: |
2010 |
|
Fonte/Imprenta: |
Cruz das Almas: Embrapa Mandioca e Fruticultura, 2010. |
|
Páginas: |
5 p. |
|
Série: |
(Embrapa Mandioca e Fruticultura. Comunicado técnico, 137). |
|
ISSN: |
1809-502X |
|
Idioma: |
Português |
|
Conteúdo: |
A bananeira (Musa spp.) é cultivada e se desenvolvem diversas classes de solos, devendo ser observada a topografia, pois os terrenos planos a levemente ondulados (declive < 8%) são os mais adequados; profundidade efetiva do solo deve ser superior a 75 cm; a aeração deve permitir a renovação do ar do e evitar o encharcamento, uma vez que, na falta de oxigênio, as raízes perdem a rigidez e apodrecem; e a textura, importante na capacidade de retenção de água e nutrientes. |
|
Thesagro: |
Adubação; Banana; Calagem. |
|
Categoria do assunto: |
X Pesquisa, Tecnologia e Engenharia |
|
URL: |
https://ainfo.cnptia.embrapa.br/digital/bitstream/item/28503/1/comunicado-137-1.pdf
|
|
Marc: |
LEADER 01027nam a2200193 a 4500
001 1878686
005 2011-02-25
008 2010 bl uuuu u0uu1 u #d
022 $a1809-502X
100 1 $aBORGES, A. L.
245 $aRecomendações de calagem e adubação para bananeira.
260 $aCruz das Almas: Embrapa Mandioca e Fruticultura$c2010
300 $a5 p.
490 $a(Embrapa Mandioca e Fruticultura. Comunicado técnico, 137).
520 $aA bananeira (Musa spp.) é cultivada e se desenvolvem diversas classes de solos, devendo ser observada a topografia, pois os terrenos planos a levemente ondulados (declive < 8%) são os mais adequados; profundidade efetiva do solo deve ser superior a 75 cm; a aeração deve permitir a renovação do ar do e evitar o encharcamento, uma vez que, na falta de oxigênio, as raízes perdem a rigidez e apodrecem; e a textura, importante na capacidade de retenção de água e nutrientes.
650 $aAdubação
650 $aBanana
650 $aCalagem
700 1 $aSOUZA, L. da S.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Mandioca e Fruticultura (CNPMF) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
