Mathematical theory of program correctness
Language: English Series: Publication details: ; Prentice/Hall International ; Edition: Description: xvi,505 p; 23 cmISBN: 0-13-562132-17Subject(s): | Computer programs-Correctness | Logic, Symbolic and matematicalItem type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
![]() |
Central Library, IITB | 681.3.06:519.28deB | Available | G56A08 | 124001 |
Total holds: 0
There are no comments on this title.