Title:
Algebraic semantics of imperative programs
Author:
Goguen, Joseph.
ISBN:
9780262288453
Publication Information:
Cambridge, Mass. : MIT Press, c1996.
Physical Description:
1 online resource (vii, 228 p.) : ill.
Series:
Foundations of computing
Series Title:
Foundations of computing
Added Author:
Electronic Access:
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267468Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 220125-1001 | ONLINE | Searching... | Searching... |