Deductive foundations of computer programming
Language: English Series: Publication details: ; Reading : Addison-Wesley Pub., 1993 ; 1993Edition: Description: xiv,717 p; 23 cmISBN: 1Subject(s): | Electronic digital computers -Programming | Logic, Symbolic and mathematicalItem type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | Central Library, IITB | 681.3.06:519.28 Man | Available | G56A09 | 169261 |
Total holds: 0
There are no comments on this title.