Reasoning about program transformations imperative programming and flow of data
Material type: TextPublication details: New York ; Springer ; 2003Description: xviii, 237 pISBN: 0387953914 (alk. paper)Subject(s): Programming languages (Electronic computers)Current library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 681.3 COL (Browse shelf (Opens below)) | Available | 53184 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
681.3 CLO Clause and effect | 681.3 COH Introduction to computer theory | 681.3 COL Genetic Algorithms for Scientists and Engineers, Introduction to- | 681.3 COL Reasoning about program transformations | 681.3 COM Hands on networking with internet technologies | 681.3 COO Software Design for Real-time Systems | 681.3 COO Computability theory |
There are no comments on this title.