Algebraic semantics of imperative programs [electronic resource] / Joseph A. Goguen and Grant Malcolm.
Algebraic Semantics of Imperative Programs presents a self-contained and novel "executable" introduction to formal reasoning about imperative programs. The authors' primary goal is to improve programming ability by improving intuition about what programs mean and how they run. The sem...
Saved in:
| Online Access: |
Full Text (via MIT Press) |
|---|---|
| Main Author: | |
| Other Authors: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cambridge, Mass. :
MIT Press,
©1996.
|
| Series: | Foundations of computing.
|
| Subjects: |
Internet
Full Text (via MIT Press)Online
| Call Number: |
QA76.7 .G62 1996eb
|
|---|---|
| QA76.7 .G62 1996eb | Available |