|
|
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 Clima Temperado. |
Data corrente: |
12/11/2012 |
Data da última atualização: |
12/11/2012 |
Tipo da produção científica: |
Artigo em Anais de Congresso |
Autoria: |
ELOY, J.; WEBER, D.; ALVARIZA, P.; CARVALHO, S. F. de; PICOLOTTO, L.; ANTUNES, L. E. C. |
Afiliação: |
JONES ELOY, Tecn. em Fruti., estudante de pós-graduação, Universidade Federal de Pelotas-RS.; DIEGO WEBER, Engº Agr., estudante de pós-graduação, Universidade Federal de Pelotas-RS.; PRISCILA ALVARIZA, Engº Agr., estudante de pós-graduação, Universidade Federal de Pelotas-RS.; SARAH FIORELLI DE CARVALHO, Engº Agr., estudante de pós-graduação, Universidade Federal de Pelotas-RS.; LUCIANO PICOLOTO, Pós-doutorando EMBRAPA-CPACT, Pelotas-RS.; LUIS EDUARDO CORREA ANTUNES, CPACT. |
Título: |
Enraizamento de estacas herbáceas de mirtileiros da cultivar powder blue: influência das diferentes concentrações de ácido indolbutirico e tamanhos de estacas. |
Ano de publicação: |
2012 |
Fonte/Imprenta: |
In: CONGRESSO BRASILEIRO DE FRUTICULTURA, 22., 2012, Bento Gonçalves. Anais... Bento Gonçalves: SBF, 2012. |
Idioma: |
Português |
Thesagro: |
Mirtilo. |
Categoria do assunto: |
-- |
URL: |
https://ainfo.cnptia.embrapa.br/digital/bitstream/item/69932/1/7.pdf
|
Marc: |
LEADER 00675naa a2200181 a 4500 001 1939461 005 2012-11-12 008 2012 bl uuuu u00u1 u #d 100 1 $aELOY, J. 245 $aEnraizamento de estacas herbáceas de mirtileiros da cultivar powder blue$binfluência das diferentes concentrações de ácido indolbutirico e tamanhos de estacas.$h[electronic resource] 260 $c2012 650 $aMirtilo 700 1 $aWEBER, D. 700 1 $aALVARIZA, P. 700 1 $aCARVALHO, S. F. de 700 1 $aPICOLOTTO, L. 700 1 $aANTUNES, L. E. C. 773 $tIn: CONGRESSO BRASILEIRO DE FRUTICULTURA, 22., 2012, Bento Gonçalves. Anais... Bento Gonçalves: SBF, 2012.
Download
Esconder MarcMostrar Marc Completo |
Registro original: |
Embrapa Clima Temperado (CPACT) |
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|