Program logics for certified compilers Andrew Appel W....[et.al]
Publication details: 2014 Cambridge University Press New YorkDescription: x, 458pISBN:- 9781107048010
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | University Library | 004.42 APP (Browse shelf(Opens below)) | Available | 00073190 |
Browsing University Library shelves Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | |||||||
004.41KOW Agent technologies, infrastructures, tools and applications for e_services | 004.41SOM Software engineering | 004.42 : 62 HAS Computer programming for engineers: theory and practice | 004.42 APP Program logics for certified compilers | 004.42 ARO.1 Program development process: individual programmer | 004.42 ARY/A Anyone can code | 004.42 BAN Languages and compilers for parallel computing: |
There are no comments on this title.