Exploring the integration of model-based formal methods into software design education

Description

Thesis(M.S.)--Auburn University, 2005. / Abstract. Vita. Includes bibliographic references (p.87-92).

Links & Downloads

1. http://repo.lib.auburn.edu/2005%20Fall/Thesis/WANG_SHUO_14.pdf

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/244206335
Date	January 2005
Creators	Wang, Shuo, Yilmaz, Levent,
Publisher	Auburn, Ala. ,
Source Sets	OCLC
Language	English
Detected Language	English