Algebraic Semantics of Imperative Programs (Foundations of Computing)
Full Title: | Algebraic Semantics of Imperative Programs (Foundations of Computing) |
---|---|
ISBN: | 026207172X |
ISBN13: | 9780262071727 |
List Price: | USD $45.00 |
Authors: |
Goguen, Joseph A. Malcolm, Grant |