Show simple item record

dc.contributor.authorLuqi
dc.contributor.authorBerzins, Valdis
dc.date1987-07
dc.date.accessioned2020-07-24T20:37:31Z
dc.date.available2020-07-24T20:37:31Z
dc.date.issued1987
dc.identifier.citationV. Berzins and Luqi, "Specifying Large Software Systems in Spec", Technical Report NPS 52-87-033, Computer Science Department, Naval Postgraduate School, 1987.
dc.identifier.urihttps://hdl.handle.net/10945/65242
dc.descriptionAuthor-contributed print itemen_US
dc.publisherNaval Postgraduate Schoolen_US
dc.titleSpecifying Large Software Systems in Specen_US
dc.typeTechnical Reporten_US
dc.contributor.departmentComputer Science (CS)
dc.identifier.npsreportNPS52-87-033


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record