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 |
Browsing Central Library, SUST shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)
005.14 CHS Software testing : | 005.14 CHS Software testing : | 005.14 EMV Verification, model checking, and abstract interpretation : | 005.14 EMV Verification, model checking, and abstract interpretation : | 005.14 EMV Verification, model checking, and abstract interpretation : | 005.14 FOR Refactoring : improving the design of existing code / | 005.14 FOR Refactoring : improving the design of existing code / |
Includes bibliographical references and index.
There are no comments on this title.