Image from Amazon.com
Modeling in event-B : system and software engineering
Material type:
TextPublication details: Cambridge Cambridge University Press 2010Description: xxvi, 586pISBN: - 9780521895569
- 004.0151 Ab87m
| Item type | Current library | Collection | Call number | URL | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | COMPACT STORAGE (BASEMENT) | 004.0151 Ab87m (Browse shelf(Opens below)) | Link to resource | Available | A171558 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur shelves, Collection: COMPACT STORAGE (BASEMENT) Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 004 W893 WORLD INFORMATION REPORT 1997/98 | 004.01 B568 THE BLACKWELL GUIDE TO THE PHILOSOPHY OF COMPUTING AND INFORMATION | 004.015 Am35c Categories in computer science and logic | 004.0151 Ab87m Modeling in event-B | 004.0151 Al72r Random generation of trees random generators in computer science | 004.0151 B752m Modern computer arithmetic | 004.0151 C223 CONCEPT DATA ANALYSIS |
There are no comments on this title.
Log in to your account to post a comment.