2 options
Second International Conference on Formal Engineering Methods. proceedings : December 9-11, 1998, Brisbane, Australia / edited by John Staples, Michael G. Hinchey, and Shaoying Liu ; sponsored by IEEE Computer Society ... [and others].
Connect to full text Available online
View online- Format:
- Book
- Conference/Event
- Conference Name:
- IEEE International Conference on Formal Engineering Methods (2nd : 1998 : Brisbane, Qld.)
- Language:
- English
- Subjects (All):
- Engineering--Methodology--Congresses.
- Engineering.
- Computer software--Development--Congresses.
- Computer software.
- Computer software--Development.
- Engineering--Methodology.
- Genre:
- Conference papers and proceedings.
- Physical Description:
- xi, 235 pages : illustrations
- Other Title:
- Formal Engineering Methods
- Formal Engineering Methods, 1998, proceedings, Second International Conference on.
- Place of Publication:
- Los Alamitos, Calif. : IEEE Computer Society Press, [1998]
- System Details:
- Mode of access: World Wide Web.
- text file
- Notes:
- "ICFEM'98"--Half T.p.
- "IEEE Computer Society Order Number PR09198"--T.p. verso.
- "IEEE Order Plan Catalog Number 98EX2421"--T.p. verso.
- Includes bibliographical references and author index.
- ISBN:
- 0818691980
- 9780818691980
- 0818692006
- 9780818692000
- OCLC:
- 40856279
- Access Restriction:
- Restricted for use by site license.
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.