Program construction and verification
Material type:
TextLanguage: English Publication details: N Y Prentice Hall 1986Description: xi,281pISBN: - 0-13-729153-1
- 005.14 B126
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata 4th Floor | 005.14 B126 (Browse shelf(Opens below)) | Available | 115494 |
Total holds: 0
Browsing ISI Library, Kolkata shelves, Shelving location: 4th Floor Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | |||||||
| 005.136 W757(1) Machine/assembly language | 005.14 An549 Proving programs correct | 005.14 Ap655 Verification of sequential and concurrent programs | 005.14 B126 Program construction and verification | 005.14 B126 Refinement calculus | 005.14 B168 Mathematical theory of program correctness | 005.14 B423 Software testing techniques |
There are no comments on this title.
Log in to your account to post a comment.
