Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings / Gérard Berry, Hubert Comon, Alain Finkel (eds.).
| Author/creator | CAV (Conference) |
| Other author | Comon, Hubert. |
| Other author | Berry, Gérard, 1948- |
| Other author | Finkel, A. |
| Format | Electronic |
| Publication Info | Berlin : Springer, 2001. |
| Description | xiii, 520 pages : illustrations ; 24 cm. |
| Supplemental Content | Restricted to Springer LINK subscribers |
| Subjects |
| Other title | CAV 2001 |
| Series | Lecture notes in computer science ; 2102 Lecture notes in computer science 2102. ^A466336 |
| Bibliography note | Includes bibliographical references. |
| Other forms | Also available via the World Wide Web. |
| ISBN | 3540423451 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.76.V47 C38 2001 | ✔ Available | Place Hold |