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