Cover Image

Reasoning about program transformations : imperative programming and flow of data /

Show other versions (2)
Bibliographic Details
Main Author: Collard, Jean-François
Format: Book
Language:English
Published: New York : Springer, [2003]
Subjects:
Programming languages (Electronic computers)
Show all versions (3)