REACTIVE SYSTEMS : MODLING,SPECIFICATION AND VERIFICATION
By: ACETO, L.&OTHERS.
Material type:
BookPublisher: Cambridge Cambridge University Press 2007Description: xvi+284p.,25x17Cms.ISBN: 0521875462.DDC classification: 621.38195 A175
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
CENTRAL LIBRARY | 621.38195 A175 (Browse shelf) | Available | 082264 |
There are no comments for this item.