Algebraic semantics of imperative programs
By: Goguen, J. A.
Material type: BookSeries: Foundations of computing.Publisher: Cambridge; Massachusetts MIT Press 1996Description: ix228p.ISBN: 0-262-07172-X.Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
005.131 GOG (Browse shelf) | Available | 503316 |
There are no comments for this item.