Verification and validation of modern software intensive systems
Material type:
TextLanguage: English Publication details: New Jersey Prentice-Hall 2000Description: xvii,493pISBN: - 0-13-020584-2
- 005.14 Sch386
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata 4th Floor | 005.14 Sch386 (Browse shelf(Opens below)) | Available | 120598 |
Total holds: 0
Browsing ISI Library, Kolkata shelves, Shelving location: 4th Floor Close shelf browser (Hides shelf browser)
| 005.14 M996 Art of software testing | 005.14 P465 Structured approach to systems testing | 005.14 R579 Debugging system 360/370 programs using OS and VS storage dumps | 005.14 Sch386 Verification and validation of modern software intensive systems | 005.14 T892 Program correctness over abstract data types,with error-state semantics | 005.140151 C772 Constructing correct software | 005.15 L839 Documentation of software products : recommendations for producers and users |
There are no comments on this title.
Log in to your account to post a comment.
