3 options
Specification-based interface checking of large, real-time/distributed sytems / Peter Lap-Ming Liu.
LIBRA Diss. POPM1988.248
Available from offsite location
LIBRA QA003 1988 .L74
Available from offsite location
LIBRA Microfilm P38:1988
Available from offsite location
- Format:
- Book
- Manuscript
- Microformat
- Thesis/Dissertation
- Author/Creator:
- Liu, Peter Lap-Ming.
- 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:
- ix, 194 leaves : illustrations ; 29 cm
- Production:
- 1988.
- Notes:
- Thesis (Ph.D. in Computer and Information Science)--Graduate School of Arts and Sciences, University of Pennsylvania, 1988.
- Includes bibliography and index.
- Local Notes:
- University Microfilms order no.: 88-24762.
- OCLC:
- 244959040
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.