Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings / David L. Dill, ed.
| Author/creator | CAV '94 |
| Other author | Dill, David L. |
| Format | Book |
| Publication Info | Berlin ; New York : Springer-Verlag, ©1994. |
| Description | ix, 480 pages : illustrations ; 24 cm. |
| Subjects |
| Series | Lecture notes in computer science ; 818 Lecture notes in computer science 818. ^A466336 |
| Bibliography note | Includes bibliographical references. |
| LCCN | 94021760 |
| ISBN | 3540581790 |
| ISBN | 0387581790 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.76.V47 C38 1994 | ✔ Available | Place Hold |