Return to search

Reasoning about imperative and higher-order programs a dissertation /

Thesis (Ph. D.)--Northeastern University, 2008. / Title from title page (viewed March 24, 2009). College of Computer and Information Science. Includes bibliographical references (p. 163-171).

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/319164811
Date January 1900
CreatorsKoutavas, Vasileios.
Publisher[Boston, Mass. : Northeastern University,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
TypeElectronic dissertations.
SourceView dissertation online

Page generated in 0.0018 seconds