Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings / Pierre Wolper, ed.
| Author/creator | CAV (Conference) |
| Other author | Wolper, Pierre. |
| Format | Book |
| Publication Info | Berlin ; New York : Springer-Verlag, ©1995. |
| Description | x, 450 pages : illustrations ; 24 cm. |
| Subjects |
| Spine title | CAV 95 |
| Series | Lecture notes in computer science ; 939 Lecture notes in computer science 939. ^A466336 |
| Bibliography note | Includes bibliographical references and index. |
| ISBN | 3540600450 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.76.V47 C38 1995 | ✔ Available | Place Hold |