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 |
Browsing CENTRAL LIBRARY Shelves Close shelf browser
| No cover image available | No cover image available |
|
No cover image available |
|
|
|
||
| 621.3819642 A427 WEB DEVELOPMENT WITH JAVA SCRIPT AND AJAX ILLUMINATED | 621.3819642 A427 WEB DEVELOPMENT WITH JAVA SCRIPT AND AJAX ILLUMINATED | 621.3819642 A44A Algorithms: Design Techniques and Analysis | 621.3819642 A458 MODELING IN EVENT-B SYSTEM AND SOFTWARE ENGINEERING | 621.3819642 A471 CORE J2EE PATTERNS: BEST PRACTICES AND DESIGN STRATEGIES | 621.3819642 A471 CORE J2EE PATTERNS: BEST PRACTICES AND DESIGN STRATEGIES | 621.3819642 A496 AGILE MODELING: EFFECTIVE PRACTICES FOR EXTREME PROGRAMMING AND THE UNIFIED PROC |
There are no comments for this item.