Computer Aided Verification : 5th International conference, CAV,93, Elounda, Greece, June/July 1993, Proceedings
Material type: TextSeries: Lecture notes in computer science ; 00697Publication details: Berlin ; Springer Verlag ; 1993Description: 504ISBN: 3540569227Subject(s): Computer Aided Verification LNCS 697Current library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 681 LNCS (Browse shelf (Opens below)) | Available | 30652 |
There are no comments on this title.