Return to search

Constructing and analyzing specifications of real world systems /

Thesis (Ph. D.)--Stanford University, 1985. / Cover title. "September 1985." Includes bibliographical references and index.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/50191647
Date January 1900
CreatorsYue, Kaizhi.
PublisherStanford, Calif. : Stanford University, Dept. of Computer Science,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0016 seconds