3 options
Synthesis and compositional verification using language learning / Wonhong Nam.
LIBRA QA003 2007 .N174
Available from offsite location
LIBRA Diss. POPM2007.94
Available from offsite location
- Format:
- Book
- Manuscript
- Microformat
- Thesis/Dissertation
- Author/Creator:
- Nam, Wonhong.
- Language:
- English
- Subjects (All):
- Penn dissertations--Computer and information science.
- Computer and information science--Penn dissertations.
- Local Subjects:
- Penn dissertations--Computer and information science.
- Computer and information science--Penn dissertations.
- Physical Description:
- xi, 141 pages : illustrations ; 29 cm
- Production:
- 2007.
- Notes:
- Thesis (Ph.D. in Computer and Information Science) -- University of Pennsylvania, 2007.
- Includes bibliographical references.
- Local Notes:
- University Microfilms order no.: 3260957.
- OCLC:
- 244975834
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.