Model checking
By: Clarke, E. M.
Material type: BookPublisher: Cambridge; Massachusetts MIT Press 1999Description: xiv, 314p.ISBN: 0-262-03270-8.Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
005.14 CLA (Browse shelf) | Available | 502365 |
Browsing International Institute of Information Technology Bangalore Shelves Close shelf browser
005.14 BEI Software testing techniques. 2nd. edition. | 005.14 BEI Software testing techniques. 2nd. Edition. | 005.14 BLA Managing testing process | 005.14 CLA Model checking | 005.14 DES Software testing: Principle and practices | 005.14 DES (CR) Software testing: Principles and practice | 005.14 DES (CR) Software testing: Principles and practice |
There are no comments for this item.