Reasoning about program transformations imperative programming and flow of data

By: Collard, Jean-Fran�oisMaterial type: TextTextPublication details: New York ; Springer ; 2003Description: xviii, 237 pISBN: 0387953914 (alk. paper)Subject(s): Programming languages (Electronic computers)
Item type: BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)

There are no comments on this title.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha