Return to search

Software verification and spatiotemporal aggregation in constraint databases

Thesis (Ph.D.)--University of Nebraska-Lincoln, 2007. / Title from title screen (site viewed Oct. 21, 2008). PDF text: ix, 149 p. : ill. (some col.) ; 2 Mb. UMI publication number: AAT 3321122. Includes bibliographical references. Also available in microfilm and microfiche formats.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/264715025
Date January 1900
CreatorsAnderson, Scot R.
Publisher[Lincoln, Neb. : University of Nebraska-Lincoln,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0196 seconds