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

Bibliographic Details
Main Author: Collard, Jean-François
Corporate Author: NetLibrary, Inc
Format: eBook
Language:English
Published: New York : Springer, 2003.
Subjects:
Online Access:Connect to the full text of this electronic book

Similar Items