Research Catalog
Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings
- Title
- Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings / Pierre Wolper, ed.
- Author
- CAV (Conference) (7th : 1995 : Liège, Belgium)
- Publication
- Berlin ; New York : Springer-Verlag, c1995.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 95-1738 | Offsite |
Details
- Additional Authors
- Wolper, Pierre.
- Description
- x, 450 p. : ill.; 24 cm.
- Series Statement
- Lecture notes in computer science ; 939
- Alternative Title
- CAV 95
- Subjects
- Bibliography (note)
- Includes bibliographical references and index.
- Call Number
- JSE 95-1738
- ISBN
- 3540600450
- OCLC
- 32903576
- Conference
- CAV (Conference) (7th : 1995 : Liège, Belgium)
- Title
- Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings / Pierre Wolper, ed.
- Imprint
- Berlin ; New York : Springer-Verlag, c1995.
- Series
- Lecture notes in computer science ; 939
- Bibliography
- Includes bibliographical references and index.
- Added Author
- Wolper, Pierre.
- Spine Title
- CAV 95
- Research Call Number
- JSE 95-1738