Show simple item record

Formal specification of a specification library

dc.contributor.advisorJohn V. Guttag.en_US
dc.contributor.authorAtreya, Sriram Ken_US
dc.contributor.otherMassachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science.en_US
dc.date.accessioned2005-08-04T19:25:16Z
dc.date.available2005-08-04T19:25:16Z
dc.date.copyright1982en_US
dc.date.issued1982en_US
dc.identifier.urihttp://hdl.handle.net/1721.1/15786
dc.descriptionThesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1982.en_US
dc.descriptionMICROFICHE COPY AVAILABLE IN ARCHIVES AND ENGINEERINGen_US
dc.descriptionBibliography: leaves 101-103.en_US
dc.description.statementofresponsibilityby Sriram K. Atreya.en_US
dc.format.extent108 leavesen_US
dc.format.extent6267324 bytes
dc.format.extent6267084 bytes
dc.format.mimetypeapplication/pdf
dc.format.mimetypeapplication/pdf
dc.language.isoengen_US
dc.publisherMassachusetts Institute of Technologyen_US
dc.rightsM.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission.en_US
dc.rights.urihttp://dspace.mit.edu/handle/1721.1/7582
dc.subjectElectrical Engineering and Computer Science.en_US
dc.subject.lcshData librariesen_US
dc.subject.lcshInformation storage and retrieval systemsen_US
dc.subject.lcshFile organization (Computer science)en_US
dc.subject.lcshInteractive computer systemsen_US
dc.titleFormal specification of a specification libraryen_US
dc.typeThesisen_US
dc.description.degreeM.S.en_US
dc.contributor.departmentMassachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
dc.identifier.oclc09861333en_US


Files in this item

Thumbnail
Name:
09861333-MIT.pdf
Size:
5.976Mb
Format:
PDF
Description:
Full printable version
View/Open

This item appears in the following Collection(s)

Show simple item record