Return to search

Towards a semantics bridge between structured specifications and logic specifications /

Thesis (M. Phil.)--University of Hong Kong, 1992.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/51349415
Date January 1992
CreatorsLeung, Ping-hung, Karl Richard.
Publisher[Hong Kong : University of Hong Kong],
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
SourceView the Table of Contents & Abstract.

Page generated in 0.0027 seconds