Image from Amazon.com
Spin model checker
Material type:
TextPublication details: Addison Wesley Boston 2003Description: 396ISBN: - 9780321228628
- 005.14 HOL/S
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
Books
|
Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre Computer Science | Software Testing | 005.14 HOL/S (Browse shelf(Opens below)) | Available | 1330 |
Browsing Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre shelves, Shelving location: Computer Science, Collection: Software Testing Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
No cover image available | ||
| 005.14 CHA/S;1 Software testing: Principles and practices | 005.14 DES/S Software testing: Principles and practices | 005.14 FEN/S Software metrics: A rigorous and practical approach | 005.14 HOL/S Spin model checker | 005.14 LIM/S Software testing: Principles techniques and tools | 005.14 LOV/S Software testing techniques: Finding the defects that matter | 005.14 MAT/F Foundations of software testing |
There are no comments on this title.
Log in to your account to post a comment.