Reasoning about program transformations : imperative programming and flow of data /
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York :
Springer,
c2003
|
| Subjects: |
BorrowDirect will be undergoing system maintenance on Sunday, July 21, 2024 from approximately 6am through 10am Eastern Time. There may be a delay in processing BorrowDirect requests during this timeframe.
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York :
Springer,
c2003
|
| Subjects: |