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: NetLibrary, Inc
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:xviii, 237 pages : illustrations
Bibliography:Includes bibliographical references (pages 229-235) and index.
ISBN:0387224610 (electronic bk.)