MODELING IN EVENT-B SYSTEM AND SOFTWARE ENGINEERING
By: ABRIAL, J.R.
Material type:
BookPublisher: NEW YORK Cambridge University Press 2010Description: xxvi+586p.,25x19Cms.ISBN: 978052189556.DDC classification: 621.3819642 A458
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
CENTRAL LIBRARY | 621.3819642 A458 (Browse shelf) | Available | 096074 |
There are no comments for this item.