Computer Aided Verification, Proceedings of the 12th International Conference, Chicago, 2000
Material type: TextSeries: Lecture notes in computer science ; 01855Publication details: Berlin ; Springer ; 2000Description: 582ISBN: 3540677704Subject(s): Computer Aided VerificationCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 681 LNCS (Browse shelf (Opens below)) | Available | 45404 |
There are no comments on this title.