Predicate calculus and program semantics
Language: English Series: Publication details: New York ; Springer-Verlag, ; 1990Edition: Description: x,220 p; 23 cmISBN: 0-387-96957-84Subject(s): | Predicate calculus | Programming languages (Electronic computers)-SemanticsItem type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | Central Library, IITB | 681.3.06:517.1 Dij | Available | G56A06 | 158927 |
Total holds: 0
There are no comments on this title.