Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings / Ed Brinksma, Kim Guldstrand Larsen (eds.).
| Author/creator | CAV (Conference) |
| Other author | Brinksma, Ed. |
| Other author | Larsen, K. G. (Kim G.), 1957- |
| Format | Book |
| Publication Info | Berlin ; New York : Springer, 2002. |
| Description | xiii, 626 pages : illustrations ; 24 cm. |
| Supplemental Content | SpringerLink |
| Supplemental Content | Table of contents |
| Supplemental Content | Restricted to SpringerLink subscribers |
| Supplemental Content | To connect online |
| Supplemental Content | Cover |
| Supplemental Content | Kapitel 1 |
| Supplemental Content | http://www.link.springer.de/link/service/series/0558/tocs/t2404.htm |
| Subjects |
| Portion of title | CAV 2002 |
| Series | Lecture notes in computer science ; 2404 Lecture notes in computer science ; 2404. ^A466336 |
| Bibliography note | Includes bibliographical references and index. |
| Other forms | Also issued online. |
| Genre/form | Kongress Kopenhagen 2002. |
| Genre/form | Conference papers and proceedings. |
| Genre/form | Kopenhagen (2002) |
| ISBN | 3540439978 (pbk.) |
| ISBN | 9783540439974 (pbk.) |
| Standard identifier# | 9783540439974 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.76.V47 C38 2002 | ✔ Available | Place Hold |