Software verification and analysis : an integrated, hands-on approach
Material type: TextPublication details: London ; New York : Springer, c2009.Description: xviii, 224 p. : ill. ; 25 cmISBN:- 9788132204510
- 005.14 22 LAS-S
- QA76.76.V47 L37 2009
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | IIITD General Stacks | Computer Science and Engineering | 005.14 LAS-S (Browse shelf(Opens below)) | Available | 001265 |
Total holds: 0
Includes bibliographical references and index.
There are no comments on this title.