Qualified Types : Theory and Practice
Material type: TextPublication details: Cambridge ; CUP ; 1994Description: 157pISBN: 0 521 47253 9Current library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 681.3 JON (Browse shelf (Opens below)) | Available | 37230 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
681.3 INAN Verification of Digital and Hybrid Systems | 681.3 JON Qualified Types : Theory and Practice | 681.3 JON Python for Biologists | 681.3 JONE Computer Graphics through Key Mathematics | 681.3 JUK Boolean function complexity |
There are no comments on this title.