Image from Amazon.com
Image from Google Jackets
Computer-aided verification
Material type:
TextSeries: Lecture notes in computer sciencePublication details: Berlin Springer Verlag 1991ISBN: - 3540544771
| Item type | Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Books
|
Goa University Library General Stacks 1 | 005.14 CLA-KUR (Browse shelf(Opens below)) | Available | 092868 |
Browsing Goa University Library shelves, Shelving location: General Stacks 1 Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 005.136 WYA/Usi Using Assembly Language | 005.14 BLA/Man Managing the testing process | 005.14 CHO/Qua Quality programming : developing and testing software with statistical quality control | 005.14 CLA-KUR Computer-aided verification | 005.14 DEM/Sof Software testing and evaluation | 005.14 GAR-HER Function point analysis : Measurement practices for successful software projects | 005.14 HET/Mak Making Software Measurement Work : Building an Effective Measurement Program |
There are no comments on this title.
Log in to your account to post a comment.