2 options
Industrial use of formal methods. colloquium / organised by Professional Group C1 (Software Engineering).
Connect to full text Available online
View online- Format:
- Book
- Series:
- Colloquium (Institution of Electrical Engineers) ; no. 97/171.
- Digest ; no. 97/171
- Language:
- English
- Subjects (All):
- Computer software--Development--Congresses.
- Computer software.
- Computer software--Development.
- Computer systems--Congresses.
- Computer systems.
- Genre:
- Conference papers and proceedings.
- Physical Description:
- 1 volume (various pagings).
- Place of Publication:
- London : Institution of Electrical Engineers, [1997]
- System Details:
- Mode of access: World Wide Web.
- text file
- Notes:
- Cover title.
- "Computing and Control Division."
- Includes bibliographical references.
- OCLC:
- 42905212
- 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.