Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | 004.21 CHA (Browse shelf) | Available | 025710 | ||
Books | 004.21 CHA (Browse shelf) | Available | 025711 | ||
Books | 004.21 CHA (Browse shelf) | Available | 025712 | ||
Books | 004.21 CHA (Browse shelf) | Available | 025713 | ||
Books | 004.21 CHA (Browse shelf) | Available | 025714 |
004.21 BOR Abstract state machines : a method for high-level system design and analysis | 004.21 CHA Embedded system design | 004.21 CHA Embedded system design | 004.21 CHA Embedded system design | 004.21 CHA Embedded system design | 004.21 CHA Embedded system design | 004.21 CLA Model checking |
There are no comments for this item.