Verification of Sequential and Concurrent Programs Apt Krzysztof
Material type:
TextPublication details: Berlin Springer Verlag 2006Edition: 2nd edDescription: xvii, 364pISBN: 0387948961Subject(s): Computer Science Engineering | Computer Software -- VerificationDDC classification: 005.14 KRZ
| Item type | Current library | Collection | Call number | Vol info | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
REFERENCE BOOK
|
LRC_JUIT Computer Science & Engineering | REFERENCE SECTION | REF 005.14 KRZ (Browse shelf (Opens below)) | Copy 1 | Not for loan | 015667 |
Total holds: 0
Browsing LRC_JUIT shelves, Shelving location: Computer Science & Engineering, Collection: REFERENCE SECTION Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| REF 005.14 HUA Software Error Detection: through testing and analysis | REF 005.14 JAR Effective Software Maintenance and Evolution: a Reuse-Based Approach | REF 005.14 JOR Software Testing: a craftsman's approach | REF 005.14 KRZ Verification of Sequential and Concurrent Programs | REF 005.14 LEW Software Testing and Continuous Quality Improvement | REF 005.14 LOE Foundations of Program Verification | REF 005.14 MET Guide to Advanced Software Testing |
There are no comments on this title.