Aspects of Java program verification

dc.contributor.authorTrentelman, Kerry
dc.date.accessioned2018-11-22T00:11:42Z
dc.date.available2018-11-22T00:11:42Z
dc.date.copyright2006
dc.date.issued2006
dc.date.updated2018-11-21T13:38:13Z
dc.format.extentxii, 125 p.
dc.identifier.otherb2279421
dc.identifier.urihttp://hdl.handle.net/1885/151803
dc.language.isoen_AUen_AU
dc.rightsAuthor retains copyrighten_AU
dc.subject.lccQA76.73.J38T74 2006
dc.subject.lcshJava (Computer program language)
dc.titleAspects of Java program verification
dc.typeThesis (PhD)en_AU
dcterms.accessRightsOpen Accessen_AU
local.description.notesThesis (Ph.D.)--Australian National University 2006en_AU
local.identifier.doi10.25911/5d514ba194768
local.mintdoimint
local.type.statusAccepted Versionen_AU

Downloads

Original bundle

Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
b22794219-Trentelman_K.pdf
Size:
79.61 MB
Format:
Adobe Portable Document Format
Back to topicon-arrow-up-solid
 
APRU
IARU
 
edX
Group of Eight Member

Acknowledgement of Country

The Australian National University acknowledges, celebrates and pays our respects to the Ngunnawal and Ngambri people of the Canberra region and to all First Nations Australians on whose traditional lands we meet and work, and whose cultures are among the oldest continuing cultures in human history.


Contact ANUCopyrightDisclaimerPrivacyFreedom of Information

+61 2 6125 5111 The Australian National University, Canberra

TEQSA Provider ID: PRV12002 (Australian University) CRICOS Provider Code: 00120C ABN: 52 234 063 906