//]]>
Item type | Location | Call Number | Status | Notes | Date Due |
---|---|---|---|---|---|
Book | AUM Main Library | 005.14 L495 (Browse Shelf) | Available | JBC/2011/11485 | |
Book | AUM Main Library | 005.14 L495 (Browse Shelf) | Available | JBC/2011/11485 |
005.14 I612Testing software and systems : | 005.14 I612Model checking software : | 005.14 L495Software testing and continuous quality improvement / | 005.14 L495Software testing and continuous quality improvement / | 005.14 M55Automated database applications testing : | 005.14 M689Model-based testing of reactive systems : |
"An Auerbach book."
Includes bibliographical references (p. 629-632) and index.
There are no comments for this item.