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)
Description
Physical Description:xviii, 237 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references (pages 229-235) and index.
ISBN:0387953914 (alk. paper)