Design and verification of IFL

dc.contributor.advisorBirtwistle, Graham M.
dc.contributor.authorSimpson, Todd G.
dc.date.accessioned2017-12-18T21:08:52Z
dc.date.available2017-12-18T21:08:52Z
dc.date.issued1991
dc.descriptionBibliography: p. 235-246.en
dc.format.extentxi, 246 leaves ; 30 cm.en
dc.identifier.citationSimpson, T. G. (1991). Design and verification of IFL (Doctoral thesis, University of Calgary, Calgary, Canada). Retrieved from https://prism.ucalgary.ca. doi:10.11575/PRISM/453en_US
dc.identifier.doihttp://dx.doi.org/10.11575/PRISM/453
dc.identifier.isbn0315711698en
dc.identifier.lccQA 76.7 S55 1991en
dc.identifier.urihttp://hdl.handle.net/1880/101454
dc.language.isoeng
dc.publisher.institutionUniversity of Calgaryen
dc.publisher.placeCalgaryen
dc.rightsUniversity of Calgary graduate students retain copyright ownership and moral rights for their thesis. You may use this material in any way that is permitted by the Copyright Act or through licensing that has been assigned to the document. For uses that are not allowable under copyright legislation or licensing, you are required to seek permission.
dc.subject.lcshProgramming languages (Electronic computers)
dc.titleDesign and verification of IFL
dc.typedoctoral thesis
thesis.degree.disciplineComputer Science
thesis.degree.grantorUniversity of Calgary
thesis.degree.nameDoctor of Philosophy (PhD)
ucalgary.thesis.accessionTheses Collection 58.002:Box 799 520535174
ucalgary.thesis.notesoffsiteen
ucalgary.thesis.uarcreleaseyen
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
ucalgary_1991_simpson_todd g._574786.pdf
Size:
10.79 MB
Format:
Adobe Portable Document Format
Description:
Thesis
Collections