Static analysis : 7th international symposium proceedings, SAS, Santa Barbara, CA, USA, June 29-July 1, 2000
Language: English Series: Lecture notes in computer science ; v.1824Publication details: Berlin ; Springer ; 2000Edition: Description: viii,433 p; 24 cmISBN: 3-540-67668-6Subject(s): | Computer Science and Engineering | Programming languages(Electronic computers)-Congresses , Static analysis-Congresses , Computer programs-Verification-CongressesItem type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | Central Library, IITB Compact Storage - Basement Area | 681.3.06Sta:7:00 | Available | G55B33 | 191505 |
Total holds: 0
There are no comments on this title.