FORMAL METHODS - STATE OF ART AND NEW DIRECTIONS
By: BOCA,P.P. & OTHERS.
Material type:
BookPublisher: VERLAG Springer 2010Description: xxiii+273p,.24X16Cms.ISBN: 978184882735.DDC classification: 621.38195 B664
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
CENTRAL LIBRARY | 621.38195 B664 (Browse shelf) | Available | 092453 |
There are no comments for this item.