Efficient static analyses for concurrent programs by Suvam Mukherjee
Material type: BookPublication details: Bangalore : Indian Institute of Science, 2017.Description: xvi, 127 p. : illDissertation: PhD;2017;Computer Science and Automation DDC classification:- 005.275 P17
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Thesis | JRD Tata Memorial Library | 005.275 P17 (Browse shelf(Opens below)) | Available | T09423 |
Includes CD and bibliographical references
PhD;2017;Computer Science and Automation
There are no comments on this title.