Data/hora: 25/06/2024 05:37:58

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: | --
Registro original: | Embrapa Agricultura Digital (CNPTIA)

Exemplares:

CNPTIA - (974-1) - ADC - LV - -- - 005.14 - TUC - 1991.00013 - DIS
CNPTIA - (974-2) - ADC - LV - -- - 005.14 - TUC - 1993.00406 - DES
CNPTIA - (974-3) - ADC - LV - -- - 005.14 - TUC - 1994.00196 - DES