File Download
  Links for fulltext
     (May Require Subscription)
Supplementary

postgraduate thesis: Towards a semantics bridge between structured specifications and logicspecifications

TitleTowards a semantics bridge between structured specifications and logicspecifications
Authors
Issue Date1992
PublisherThe University of Hong Kong (Pokfulam, Hong Kong)
Citation
Leung, P. K. R. [梁秉雄]. (1992). Towards a semantics bridge between structured specifications and logic specifications. (Thesis). University of Hong Kong, Pokfulam, Hong Kong SAR. Retrieved from http://dx.doi.org/10.5353/th_b3121045
DegreeMaster of Philosophy
SubjectStructured programming.
Logic programming.
Dept/ProgramComputer Science

 

DC FieldValueLanguage
dc.contributor.authorLeung, Ping-hung, Karl Richard.-
dc.contributor.author梁秉雄-
dc.date.issued1992-
dc.identifier.citationLeung, P. K. R. [梁秉雄]. (1992). Towards a semantics bridge between structured specifications and logic specifications. (Thesis). University of Hong Kong, Pokfulam, Hong Kong SAR. Retrieved from http://dx.doi.org/10.5353/th_b3121045-
dc.languageeng-
dc.publisherThe University of Hong Kong (Pokfulam, Hong Kong)-
dc.relation.ispartofHKU Theses Online (HKUTO)-
dc.rightsThe author retains all proprietary rights, (such as patent rights) and the right to use in future works.-
dc.rightsCreative Commons: Attribution 3.0 Hong Kong License-
dc.source.urihttp://hub.hku.hk/bib/B31210454-
dc.subject.lcshStructured programming.-
dc.subject.lcshLogic programming.-
dc.titleTowards a semantics bridge between structured specifications and logicspecifications-
dc.typePG_Thesis-
dc.identifier.hkulb3121045-
dc.description.thesisnameMaster of Philosophy-
dc.description.thesislevelMaster-
dc.description.thesisdisciplineComputer Science-
dc.description.naturepublished_or_final_version-
dc.identifier.doi10.5353/th_b3121045-
dc.date.hkucongregation1992-

Export via OAI-PMH Interface in XML Formats


OR


Export to Other Non-XML Formats