Image from Amazon.com
Image from Google Jackets
Computer aided verification
Material type:
TextSeries: Lecture notes in computer sciencePublication details: Berlin Springer Verlag 1991ISBN: - 3540551794
| Item type | Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Books
|
Goa University Library General Stacks 1 | 005.14 LAR-SKO (Browse shelf(Opens below)) | Available | 094827 |
Browsing Goa University Library shelves, Shelving location: General Stacks 1 Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 005.14 HET/Mak Making Software Measurement Work : Building an Effective Measurement Program | 005.14 KIT/Sof Software testing in the real world : Improving the process | 005.14 KIT/Sof Software testing in the real world : Improving the process | 005.14 LAR-SKO Computer aided verification | 005.14 ROB/Deb Debugging applications | 005.16 GRO/Pro The Protection of Computer Software - Its Technology and Applications. | 005.16 HUM/Man Managing the software process |
There are no comments on this title.
Log in to your account to post a comment.