//]]>
Item type | Location | Call Number | Status | Notes | Date Due |
---|---|---|---|---|---|
Book | AUM Main Library English Collections Hall | 005.14 R943 (Browse Shelf) | Available | JBC/2011/9089 |
005.14 M689Model-based testing of reactive systems : | 005.14 P385Software testing / | 005.14 P964Professional software testing with Visual Studio 2005 team system : | 005.14 R943Runtime verification : | 005.14 T345Tests and proofs : | 005.14 V519Verification, model checking, and abstract interpretation : |
includes bibliographical references and index
There are no comments for this item.