Reasoning about program transformations : imperative programming and flow of data
By: Collard, Jean-Francois.
Material type:
BookPublisher: New York: Springer, 2003Description: xviii, 237 p.; ill., index: 24 cm.ISBN: 0387953914 .Subject(s): Programming languages (Electronic computers)DDC classification: 005.13
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 005.13 COL (Browse shelf) | Available | 014854 |
There are no comments for this item.