| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Embrapa Agricultura Digital. |
|
Data corrente: |
20/11/1992 |
|
Data da última atualização: |
18/10/2007 |
|
Autoria: |
TUCKER, J. V.; ZUCKER, J. I. |
|
Título: |
Program correctness over abstract data types, with error-state semantics. |
|
Ano de publicação: |
1988 |
|
Fonte/Imprenta: |
Amsterdam: North-Holland, 1988. |
|
Páginas: |
212 p. |
|
Série: |
(CWI Monograph, 6). |
|
ISBN: |
0-444-70340-3 |
|
Idioma: |
Inglês |
|
Conteúdo: |
Straight-line programs; While programs; Recursive programs; Computability in an abstract setting; Bibliography. |
|
Palavras-Chave: |
Corretude de programa; Dados abstratos; Erro semântico. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 00638nam a2200193 a 4500
001 1000778
005 2007-10-18
008 1988 bl uuuu 00u1 u #d
020 $a0-444-70340-3
100 1 $aTUCKER, J. V.
245 $aProgram correctness over abstract data types, with error-state semantics.
260 $aAmsterdam: North-Holland$c1988
300 $a212 p.
490 $a(CWI Monograph, 6).
520 $aStraight-line programs; While programs; Recursive programs; Computability in an abstract setting; Bibliography.
653 $aCorretude de programa
653 $aDados abstratos
653 $aErro semântico
700 1 $aZUCKER, J. I.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
|
| Registros recuperados : 2 | |
| 1. |  | MORAN, E. F.; BRONDIZIO, E. S.; TUCKER, J. M.; SILVA-FORSBERG, M. C. da; McCRACKEN, S.; FALESI, I. Effects of soil fertility and land-use on forest succession in Amazonia. Forest Ecology and Management, v. 139, n. 1/3, p. 93-108, Dec. 2000.| Biblioteca(s): Embrapa Amazônia Oriental. |
|    |
| 2. | | ARAÚJO, M. M.; TUCKER, J. M.; VASCONCELOS, S. S.; ZARIN, D. J.; OLIVEIRA, W.; SAMPAIO, P. D.; RANGEL-VASCONCELOS, L. G.; OLIVEIRA, F. de A.; COELHO, R. de F. R.; ARAGÃO, D. V.; MIRANDA, I. Padrão e processo sucessionais em florestas secundárias de diferentes idades na Amazônia Oriental. Ciência Florestal, Santa Maria, v. 15, n. 4, p. 343-357, set. 2005.| Biblioteca(s): Embrapa Amazônia Oriental. |
|  |
| Registros recuperados : 2 | |
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
