Static analysis : third international workshop proceedings, WSA'93, Padova, Italy, Sept. 22-24, 1993 / edited by Patrick Cousot...[et al.]
Language: English Series: Lecture notes in computer science ; v.724Publication details: Berlin ; Springer-Verlag ; 1993Edition: Description: ix,283 p; 23 cmISBN: 3-540-57264-30Subject(s): | Static analysis-Congresses | Programming languages (Electronic computers)-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.06 Sta:3:93 | Available | G55B33 | 169776 |
Total holds: 0
There are no comments on this title.