Static analysis : third international workshop proceedings, WSA'93, Padova, Italy, Sept. 22-24, 1993 / edited by Patrick Cousot...[et al.]

By: Contributor(s): 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-Congresses
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Notes Date due Barcode Item holds
Books 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.

to post a comment.
Share

Powered by Koha