SPOTS : a system for proving optimizing transformations sound (R)

By: Contributor(s): Language: English Publication details: Mumbai IIT 2007Description: xi,255 p. 30 cmSubject(s): Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2007
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Notes Barcode
Theses and Dissertations 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.

to post a comment.
Share