Image from Amazon.com
Image from Google Jackets
Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings / [edited by] E. Allen Emerson, Kedar S. Namjoshi.
Material type:
TextSeries: Lecture notes in computer science ; 3855Publication details: Berlin ; New York : Springer-Verlag, c2006.Description: xi, 442 p. : ill. ; 24 cmISBN: - 9783540311393 (soft cover : alk. paper)
- 3540311394 (soft cover : alk. paper)
- 005.14 22 EMV
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
Library, Institute of Information and Communication Technology General Stacks | 005.14 EMV (Browse shelf(Opens below)) | 1 | Available | I000478 | |
|
Books
|
Library, Institute of Information and Communication Technology General Stacks | 005.14 EMV (Browse shelf(Opens below)) | 2 | Available | I000477 | |
|
Books
|
Library, Institute of Information and Communication Technology General Stacks | 005.14 EMV (Browse shelf(Opens below)) | 3 | Available | I000476 |
Includes bibliographical references and index.
There are no comments on this title.