Computer-aided verification ed. by E.M. Clarke, R.P. Kurshan
Material type: BookSeries: Lecture Notes in computer science ; 531Publication details: Berlin Springer-Verlag 1991Description: ix, 372pISBN:- 3540544771
- 005.14 N91
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Reference | JRD Tata Memorial Library | 005.14 N91 (Browse shelf(Opens below)) | Available | 150819 |
There are no comments on this title.