Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | 005.14 BEC (Browse shelf) | Available | 009818 |
005.14 APT Verification of sequential and concurrent programs | 005.14 BAC Refinement calculus | 005.14 BAR Find the bug : a book of incorrect programs | 005.14 BEC Test driven development: by example | 005.14 BEI Black box testing : techniques for functional testing of software and systems | 005.14 BEN Principles of the Spin model checker | 005.14 BER Systems and software verification : model-checking techniques and tools |
There are no comments for this item.