Proving programs correct
Material type:
- 0-471-03395-2
- 005.14 An549
Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|
Books | ISI Library, Kolkata 4th Floor | 005.14 An549 (Browse shelf(Opens below)) | Available | 101473 |
Total holds: 0
Browsing ISI Library, Kolkata shelves, Shelving location: 4th Floor Close shelf browser (Hides shelf browser)
No cover image available | ||||||||
005.136 R914 Assembly language programming and the IBM 360 and 370 computers | 005.136 St839 370/360 assembler language programming | 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 |
There are no comments on this title.
Log in to your account to post a comment.