Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings / E. Allen Emerson, A. Prasad Sistla (eds.).
| Author/creator | CAV 2000 |
| Other author | Emerson, E. Allen. |
| Other author | Sistla, A. Prasad. |
| Format | Book |
| Publication Info | Berlin ; London : Springer, ©2000. |
| Description | x, 582 pages : illustrations ; 24 cm. |
| Subjects |
| Series | Lecture notes in computer science ; 1855 Lecture notes in computer science 1855. ^A466336 |
| Bibliography note | Includes bibliographical references and index. |
| ISBN | 3540677704 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.76.V47 C38 2000 | ✔ Available | Place Hold |