Computer aided verification /ed. by K.G. Larsen, A. Skou.
Material type:![Book](/opac-tmpl/lib/famfamfam/BK.png)
- 3540551794
- 005.14 N92
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
Computer Science and Automation | 005.14 N92 (Browse shelf(Opens below)) | Available | 149702 |
There are no comments on this title.