Computer aided verification : 5th international conference proceedings, CAV'93, Elounda, Greece, June 28-July 1, 1993
Language: English Series: Lecture notes in computer science ; v.697Publication details: Berlin ; Springer-Verlag ; 1993Edition: Description: ix,504 p; 23.5 cmISBN: 3-540-56922-7Subject(s): | Computer Science and Engineering | Computer programs-Verification-Congresses , Verification (Logic)-Congresses| Item type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Books
|
Central Library, IITB Compact Storage - Basement Area | 681.3.06Com:5:93 | Available | G55A11 | 190672 |
Total holds: 0
There are no comments on this title.