Static analysis : 14th international symposium proceedings, SAS, Kongens Lyngby, Denmark, Aug. 22-24, 2007
Language: English Series: Lecture notes in computer science ; v.4634Publication details: Berlin ; Springer ; 2007Edition: Description: xi,469 p; 23 cmISBN: 978-3-540-74060-5Subject(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:14:07 | Available | G55B34 | 214291 |
Total holds: 0
There are no comments on this title.