SPOTS : a system for proving optimizing transformations sound (R)
Language: English Publication details: Mumbai IIT 2007Description: xi,255 p. 30 cmSubject(s): Theses and Dissertations | Compilers(Computer programs) | Mathematical optimizationDissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2007Item type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Theses and Dissertations | Central Library, IITB Pamphlet Section (Theses, Standards, Reports) | 043:681.3.06:519.3 Kan | Not for loan | D08A12 | 216372 |
Total holds: 0
Thesis
Ph.D.
Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2007
There are no comments on this title.