Software Verification and Analysis an Integrated Hands on Approach
Material type:
TextSeries: UG_BE *DPT_CSE **ADDVOL2021-22Publication details: New Delhi Springer 2009Edition: 1Description: 224pISBN: - 9788132204510
- 681.3.06 LAS
| Item type | Current library | Collection | Call number | Status | Notes | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
Books
|
GLEC Library and Information Centre Book Rack Number : 3 | Computer Science and Engineering | 681.3.06 LAS (Browse shelf(Opens below)) | Available | Added Titles 2021-22 | 844 |
Browsing GLEC Library and Information Centre shelves, Shelving location: Book Rack Number : 3, Collection: Computer Science and Engineering Close shelf browser (Hides shelf browser)
| 681.3.06 KNU The Art Of Computer Programming Seminumerical Algorithms Volume 2 | 681.3.06 KUL Artificial Intelligence Building Intelligent Systems | 681.3.06 KUL Artificial Intelligence Building Intelligent Systems | 681.3.06 LAS Software Verification and Analysis an Integrated Hands on Approach | 681.3.06 LOU Programming Languages Principles and Practice | 681.3.06 MAR Moodle 2.0 First Look | 681.3.06 MAR Moodle 2.0 First Look |
There are no comments on this title.
Log in to your account to post a comment.