1 option
Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings / G. v. Bochmann, D.K. Probst, eds.
LIBRA QA76.76.V47 C38 1992
Available from offsite location
- Format:
- Book
- Conference/Event
- Conference Name:
- CAV (Conference) (4th : 1992 : Montréal, Québec)
- Series:
- Lecture notes in computer science ; 663.
- Lecture notes in computer science ; 663
- Language:
- English
- Subjects (All):
- Computer software--Verification--Congresses.
- Computer software.
- Computer software--Verification.
- Electronic digital computers--Evaluation--Congresses.
- Electronic digital computers.
- Electronic digital computers--Evaluation.
- Genre:
- Conference papers and proceedings.
- Physical Description:
- ix, 422 pages : illustrations ; 24 cm.
- Place of Publication:
- Berlin ; New York : Springer-Verlag, [1993]
- Local Notes:
- Acquired for the Penn Libraries with assistance from the James A. Crawford Memorial Fund.
- ISBN:
- 0387564969
- OCLC:
- 27432830
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.