Algebraic semantics of imperative programs
Language: English Series: Publication details: ; Cambridge : MIT Press, 1996 ; 1996Edition: Description: vii,228 p; 23 cmISBN: 0-262-07172-X1Subject(s): | 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 Gog | Available | G56A06 | 179095 |
Total holds: 0
There are no comments on this title.