|
|
Registro Completo |
Biblioteca(s): |
Embrapa Agricultura Digital. |
Data corrente: |
31/10/1994 |
Data da última atualização: |
18/10/2007 |
Autoria: |
NASCIMENTO, M. A.; CHEN, W.; SALVIANO, C. F.; TANIK, M. M. |
Afiliação: |
Embrapa-CNPTIA. |
Título: |
An experiment using Prolog to investigate TRACE specifications. |
Ano de publicação: |
1994 |
Fonte/Imprenta: |
Dallas: Southern Methodist University, 1994. |
Páginas: |
15p. |
Série: |
(SMU. Technical Report, 94-CSE-3). |
Idioma: |
Inglês |
Conteúdo: |
Abstract; Introduction; Motivation; Related work; TRACE specifications; The PT approach; The PT operators. |
Palavras-Chave: |
Experimento. |
Thesagro: |
Pesquisa. |
Categoria do assunto: |
-- |
Marc: |
LEADER 00630nam a2200193 a 4500 001 1001760 005 2007-10-18 008 1994 bl uuuu t 00u1 u #d 100 1 $aNASCIMENTO, M. A. 245 $aAn experiment using Prolog to investigate TRACE specifications. 260 $aDallas: Southern Methodist University$c1994 300 $a15p. 490 $a(SMU. Technical Report, 94-CSE-3). 520 $aAbstract; Introduction; Motivation; Related work; TRACE specifications; The PT approach; The PT operators. 650 $aPesquisa 653 $aExperimento 700 1 $aCHEN, W. 700 1 $aSALVIANO, C. F. 700 1 $aTANIK, M. M.
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 : 3 | |
3. | | EGE, A.; TRAINA, C.; MARTINO, W. R.; BARBOSA, A. L.; MACHADO, R.; LUZ, V. P. C. P.; SALVIANO, C. F.; TSURUTA, I. Report on object management system. In: INTERNATIONAL WORKSHOP ON THE BRAZILIAN SOFTWARE PLANT PROJECT, 2., 1990, Campinas. Proceedings... Campinas: Banco do Brasil: EMBRAPA-NTIA: CTI, 1990. p. 118-119.Biblioteca(s): Embrapa Agricultura Digital. |
| |
Registros recuperados : 3 | |
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|