Static analysis : 16th international symposium proceedings, SAS, Los Angeles, CA, USA, Aug. 9-11, 2009
Language: English Series: Lecture notes in computer science ; 5673Publication details: Berlin ; Springer ; 2009Edition: Description: x,359 p; 23.5 cmISBN: 978-3-642-03236-3Subject(s): | Computer Science and Engineering | Computer programs-Verification-Congresses , Programming languages(Electronic computers)-Congresses , Static analysis-CongressesItem type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | Central Library, IITB Compact Storage - Basement Area | 681.3.06Sta:16:09 | Available | G55B33 | 223386 |
Total holds: 0
There are no comments on this title.