Publicação

Specifying and Monitoring Java Classes

Ver documento

Detalhes bibliográficos
Resumo: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.
Autores principais:Lopes, Antonia
Outros Autores:Nunes, Isabel; Vasconcelos, Vasco T.
Assunto:Specification Abstract Data Types Java classes
Ano:2009
País:Portugal
Tipo de documento:outro
Tipo de acesso:acesso restrito
Instituição associada:Universidade de Lisboa
Idioma:inglês
Origem:Repositório da Universidade de Lisboa

Registos relacionados

Registos relacionados