Digital Archives Initiative
Memorial University - Electronic Theses and Dissertations 2
menu off  add document to favorites : add page to favorites : reference url back to results : previous : next
 
 Search this object:
  
 0 hit(s) :: previous hit : next hit
  View:    
  previous page : next page
Document Description
TitleFormal software development using Z and the refinement calculus
AuthorWee, Dennis Ju-Xieng, 1967-
DescriptionThesis (M.Sc.)--Memorial University of Newfoundland, 1994. Computer Science
Date1993
Paginationxv, 184 leaves : ill.
SubjectZ (Computer program language); Computer software--Development
DegreeM.Sc.
Degree GrantorMemorial University of Newfoundland. Dept. of Computer Science
DisciplineComputer Science
LanguageEng
NotesBibliography: leaves 163-166.
AbstractIn process
TypeText
Resource TypeElectronic thesis or dissertation
FormatImage/jpeg; Application/pdf
SourcePaper copy kept in the Centre for Newfoundland Studies, Memorial University Libraries
Local Identifier76203946
RightsThe author retains copyright ownership and moral rights in this thesis. Neither the thesis nor substantial extracts from it may be printed or otherwise reproduced without the author's permission.
CollectionElectronic Theses and Dissertations
Scanning StatusCompleted
PDF File(16.81 MB) -- http://collections.mun.ca/PDFs/theses/Wee_DennisJu-Xieng.pdf
CONTENTdm file name184232.cpd