Logo do repositório
 
Miniatura
Publicação

Specifying and Monitoring Java Classes

2009-09-14T15:38:13ZOutro Acesso restrito
http://hdl.handle.net/10451/15280
Utilize este identificador para referenciar este registo.

Autores

Lopes, Antonia
Nunes, Isabel
Vasconcelos, Vasco T.

Orientador(es)

Resumo(s)

These lecture notes describe an Abstract Data Type approach to the specification of data structures meant to be implemented and monitored in an object-oriented imperative language.

Descrição

Palavras-chave

Specification Abstract Data Types Java classes

URI

http://hdl.handle.net/10451/15280
 http://repositorio.ul.pt/handle/10455/3170

Contexto Educativo

Citação

Projetos de investigação

Unidades organizacionais

Fascículo

Editora

DI-FCUL

Coleções

FC-DI - Learning Objects

Licença CC