Cover Image

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

Show other versions (2)
Bibliographic Details
Main Author: Collard, Jean-François
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: New York : Springer, 2003.
Subjects:
Programming languages (Electronic computers)
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:1 online resource (xviii, 237 pages) : illustrations
Bibliography:Includes bibliographical references (pages 229-235) and index.
ISBN:0387224610 (electronic bk.)
9780387224619 (electronic bk.)
9780387953915 (Cloth)
0387953914 (Cloth)