Collard, Jean-Fran簙ois.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Reasoning about program transformations = imperative programming and flow of data /
by:
NetLibrary, Inc.; Collard, Jean-Fran簙ois.
(Language materials, printed)