Targeted client synthesis for detecting concurrency bugs
Material type: BookPublication details: Bangalore : Indian Institute of Science, 2016.Description: xx, 216p. : illDissertation: PhD;2016;Computer Science and AutomationDDC classification:- 005.720285 P16
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Thesis | JRD Tata Memorial Library | 005.720285 P16 (Browse shelf(Opens below)) | Available | T09066 |
Browsing JRD Tata Memorial Library shelves Close shelf browser (Hides shelf browser)
Includes CD and Bibliographical references
PhD;2016;Computer Science and Automation
There are no comments on this title.