Show simple item record

Functional Proof of Correctness Techniques Applied to Risc Simulator

dc.contributor.advisorFisher, Donald D.
dc.contributor.authorTurner, Marjorie Hyatt
dc.date.accessioned2016-11-14T20:15:17Z
dc.date.available2016-11-14T20:15:17Z
dc.date.issued1983-12-01
dc.identifier.urihttps://hdl.handle.net/11244/46305
dc.formatapplication/pdf
dc.languageen_US
dc.rightsCopyright is held by the author who has granted the Oklahoma State University Library the non-exclusive right to share this material in its institutional repository. Contact Digital Library Services at lib-dls@okstate.edu or 405-744-9161 for the permission policy on the use, reproduction or distribution of this material.
dc.titleFunctional Proof of Correctness Techniques Applied to Risc Simulator
dc.typetext
dc.contributor.committeeMemberHedrick, G. E.
dc.contributor.committeeMemberDoren, J. R. Van
osu.filenameThesis-1983-T949f_annex_copy_pg_54_missing.pdf
osu.accesstypeOpen Access
dc.description.departmentComputer Science
dc.type.genreThesis


Files in this item

Thumbnail
Name:
Thesis-1983-T949f_annex_copy_p ...
Size:
2.135Mb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record