Reasoning about program transformations : imperative programming and flow of data /
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York :
Springer,
c2003
|
| Subjects: |
Search Result 1
This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
by Collard, Jean-François
Published 2003
Published 2003
This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
Electronic
Book
Search Result 2