Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings / Rajeev Alur, Thomas A. Henzinger, eds.
| Author/creator | CAV (Conference) |
| Other author | Alur, Rajeev, 1966- |
| Other author | Henzinger, T. A. (Thomas A.) |
| Format | Book |
| Publication Info | Berlin ; New York : Springer-Verlag, ©1996. |
| Description | xii, 472 pages : illustrations ; 24 cm. |
| Subjects |
| Portion of title | CAV '96 |
| Series | Lecture notes in computer science ; 1102 Lecture notes in computer science 1102. ^A466336 |
| Bibliography note | Includes bibliographical references and author index. |
| ISBN | 3540614745 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.76.V47 C38 1996 | ✔ Available | Place Hold |