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 A175Item 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.