Specifying and Monitoring Java Classes

Publicação

dc.contributor.author	Lopes, Antonia	por
dc.contributor.author	Nunes, Isabel	por
dc.contributor.author	Vasconcelos, Vasco T.	por
dc.date.accessioned	2009-09-14T15:38:13Z	por
dc.date.accessioned	2014-11-14T16:27:47Z
dc.date.available	2009-09-14T15:38:13Z	por
dc.date.available	2014-11-14T16:27:47Z
dc.date.issued	2009-09-14T15:38:13Z	por
dc.description.abstract	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.	por
dc.identifier.uri	http://hdl.handle.net/10451/15280	por
dc.identifier.uri	http://repositorio.ul.pt/handle/10455/3170	por
dc.language.iso	eng	por
dc.publisher	DI-FCUL	por
dc.subject	Specification	por
dc.subject	Abstract Data Types	por
dc.subject	Java classes	por
dc.title	Specifying and Monitoring Java Classes	por
dc.type	other
dspace.entity.type	Publication
rcaap.rights	openAccess	por
rcaap.type	other	por

Coleções