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 |
Browsing CENTRAL LIBRARY Shelves Close shelf browser
|
No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | ||
| 621.38195 B627 SYSTEM C: FROM THE GROUND UP | 621.38195 B644 NATURAL LANGUAGE AT THE COMPUTER | 621.38195 B658 SWARM INTELLIGENCE PRODUCTION AND APPLICATION | 621.38195 B664 FORMAL METHODS - STATE OF ART AND NEW DIRECTIONS | 621.38195 B669 MARKET-ORIENTED GRID AND UTILITY COMPUTING | 621.38195 B694 HUMAN INTERFACE WHERE PEOPLE AND COMPUTERS MEET | 621.38195 B7174 SUSTAINABLE IT ARCHITECTURE: PROGRESSIVE WAY OF OVERHAULING INFORMATION SYSTEM W |
There are no comments for this item.