Algebraic semantics of imperative programs
- Författare
- Joseph Goguen
- (Joseph A. Goguen and Grant Malcolm.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| MIT Press | c1996 | Storbritannien, Cambridge, Mass, London | vii,228p 24cm | |
| MIT Press | ©1996 | Massachusetts, Cambridge, Mass | 1 PDF (vii, 228 pages) illustrations. |