Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006 : proceedings / E. Allen Emerson, Kedar S. Namjoshi (eds.).
| Author/creator | VMCAI 2006 |
| Other author | Emerson, E. Allen. |
| Other author | Namjoshi, Kedar S. |
| Format | Book |
| Publication Info | Berlin ; New York : Springer, ©2006. |
| Description | xi, 442 pages : illustrations ; 24 cm. |
| Subjects |
| Portion of title | VMCAI 2006 |
| Series | Lecture notes in computer science ; 3855, 0302-9743 ; Lecture notes in computer science 3855. ^A466336 |
| Bibliography note | Includes bibliographical references and index. |
| Other forms | Also issued online. |
| LCCN | 2005937944 |
| ISBN | 3540311394 |
| ISBN | 9783540311393 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.76.V47 V53 2006 | ✔ Available | Place Hold |