Computer aided verification - Proceedings ed. by Rajeev Alur, Thomas A. Henzinger
Material type:![Book](/opac-tmpl/lib/famfamfam/BK.png)
- 3540614745
- 004.6 N964
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
JRD Tata Memorial Library | 004.6 N964 (Browse shelf(Opens below)) | Available | 159592 |
There are no comments on this title.